Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments
Buch
  • 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23¿24, 2023, Revised Selected Papers
  • Herausgeber: Serdar Tasiran, Andrew Reynolds
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
EUR 54,75*

Der Artikel Verified Software. Theories, Tools and Experiments wurde in den Warenkorb gelegt.

Zum Warenkorb Weiter einkaufen
  • Springer Nature Switzerland, 07/2024
  • Einband: Kartoniert / Broschiert, Paperback
  • Sprache: Englisch
  • ISBN-13: 9783031660634
  • Bestellnummer: 11930095
  • Umfang: 120 Seiten
  • Auflage: 2024
  • Gewicht: 195 g
  • Maße: 235 x 155 mm
  • Stärke: 7 mm
  • Erscheinungstermin: 27.7.2024
  • Serie: Lecture Notes in Computer Science - Band 14095

  • 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.