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 Interactive Theorem Proving
product image
product image
product image
product image

Interactive Theorem Proving

53.49 EUR

Die Proceedings der ITP 2016 aus Nancy enthüllen fortschrittliche Techniken des interaktiven Theorembeweisens, zeigen neue Logikmodelle und deren Einsatz in sicherheitskritischen Softwaresystemen.

Marke: Blanchette, Jasmin Christian
ISBN: 9783319431437
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science)

53.49 EUR 53.49 EUR
30-04-2026 12:17:20
Access to the deal

Gesponsert Interactive Theorem Proving

53.49 EUR 53.49 EUR
30-04-2026 14:16:21
Access to the deal

Gesponsert Interactive Theorem Proving, Fachbücher von Jasmin Christian Blanchette, Stephan Merz

53.49 EUR 53.49 EUR
30-04-2026 12:36:44
Access to the deal

Ähnliche Produkte

Interactive Theorem Proving and Program Development

78.21 EUR 90.94 EUR
Produkt anzeigen

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

53.49 EUR
Produkt anzeigen

Interactive Theorem Proving in Software Engineering

49.00 EUR
Produkt anzeigen

Interactive Theorem Proving

52.94 EUR 53.49 EUR
Produkt anzeigen