Computer Aided Verification

Computer Aided Verification
Buch
  • 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24¿27, 2024, Proceedings, Part II
  • Herausgeber: Vijay Ganesh, Arie Gurfinkel
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
EUR 43,80*

Der Artikel Computer Aided Verification wurde in den Warenkorb gelegt.

Zum Warenkorb Weiter einkaufen
  • Springer Nature Switzerland, 07/2024
  • Einband: Kartoniert / Broschiert, Paperback
  • Sprache: Englisch
  • ISBN-13: 9783031656293
  • Bestellnummer: 11929425
  • Umfang: 456 Seiten
  • Auflage: 2024
  • Gewicht: 686 g
  • Maße: 235 x 155 mm
  • Stärke: 25 mm
  • Erscheinungstermin: 25.7.2024
  • Serie: Lecture Notes in Computer Science - Band 14682

  • Achtung: Artikel ist nicht in deutscher Sprache!

Mehr von Lecture Notes i...

Sicherheits- und Herstellerinformationen

Bilder zur Produktsicherheit

Herstellerinformationen

Die Herstellerinformationen sind momentan nicht verfügbar. Wir bemühen uns, diese Hinweise in Kürze anbieten zu können. Daher schauen Sie gerne bald erneut nach.

Bitte beachten Sie

Wir können nicht sicherstellen, dass die Bewertungen von Verbrauchern stammen, die das Produkt tatsächlich genutzt oder erworben haben.