Deduktive Softwareverifikation: Zukünftige Perspektiven - 20 Jahre KeY (Lecture Notes in Computer Science, Band 12345)

• Wo zu kaufen
• Spezifikationen
• Kommentare
• FAQs

 Geschäfte, in denen Sie dieses Produkt kaufen können

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

+ Informationen zu Medimops DE

GesponsertDeductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

---

Günstigstes Angebot

53.49 EUR

Siehe Produktangebot

SpringerLink DE

+ Informationen zu SpringerLink DE

GesponsertDeductive Software Verification: Future Perspectives

---

59.00 EUR

Siehe Produktangebot

Dieses Produkt im Comparor
Kategorie Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
International Finden Sie dieses Produkt in einem unserer internationalen Geschäfte	Dieses Produkt wurde in anderen Ländern nicht gefunden
Farben Vorherrschende Farben des Produkts
Bezeichner
Marke	Wolfgang Ahrendt
ID	33016098
Abmessungen / Gewicht
Hauptmerkmale

Fügen Sie meine Meinung zu diesem Produkt hinzu

Ich möchte eine Frage zu diesem Produkt stellen