Computer Aided | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Computer Aided Verification
product image
product image
product image
product image

Computer Aided Verification

53.49 EUR 9% Off 59.00 EUR

Ein kompakter Leitfaden aus der CAV‑Konferenz 2015, der neueste Algorithmen zur formalen Verifikation vorstellt und deren Einsatz in komplexen Softwaresystemen erläutert.

Marke: Springer-Verlag GmbH
MPN: 107 black & white illustrations, biograp
ISBN: 3319216678
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-9%

Gesponsert Computer Aided Verification

53.49 EUR 59.00 EUR
07-11-2026 09:24:19
Access to the deal
-9%

Gesponsert Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

53.49 EUR 59.00 EUR
06-11-2026 07:05:00
Access to the deal

Gesponsert Computer Aided Verification

59.00 EUR 59.00 EUR
06-11-2026 06:28:39
Access to the deal

Ähnliche Produkte

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings

49.40 EUR
Produkt anzeigen

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

52.74 EUR
Produkt anzeigen

Computer Aided Verification

53.49 EUR
Produkt anzeigen

Computer Aided Verification

53.49 EUR
Produkt anzeigen