Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De..., Kartoniert / Broschiert

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Buch
  • 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part I
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 81,04

Der Artikel Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola wurde in den Warenkorb gelegt.

Zum Warenkorb Weiter einkaufen

Mehr von Lecture Notes i...

Sicherheits- und Herstellerinformationen

Herstellerinformationen

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

ProductSafety@springernature.com