Verified Software: Theories, Tools and Experiments - VSTTE 2022 Conference Proceedings

Ein umfassendes Sammelwerk aus der VSTTE‑Konferenz 2022 in Trento, das neueste Forschungsergebnisse zu formaler Verifikation, Theorien und Werkzeugen präsentiert; bietet tiefe Einblicke in aktuelle Techniken und experimentelle Studien

• Wo zu kaufen
• Spezifikationen
• Kommentare
• FAQs

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

+ Informationen zu Hugendubel

Gesponsert

Verified Software. Theories Tools and Experiments.

Günstigstes Angebot

53.49 EUR

Siehe Produktangebot

+ Informationen zu Medimops DE

Gesponsert

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected ... Notes in Computer Science, 13800, Band 13800)

53.49 EUR

Siehe Produktangebot

SpringerLink DE

+ Informationen zu SpringerLink DE

Gesponsert

Verified Software. Theories, Tools and Experiments.

59.00 EUR

Siehe Produktangebot

Dieses Produkt im Comparor

KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert

InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte

Dieses Produkt wurde in anderen Ländern nicht gefunden

FarbenVorherrschende Farben des Produkts

Bezeichner

Marke

Akash Lal

ID

32976832

Fügen Sie meine Meinung zu diesem Produkt hinzu

Ich möchte eine Frage zu diesem Produkt stellen