Interactive Theorem | 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 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

53.49 EUR 53.49 EUR
25-09-2026 05:05:44
Access to the deal

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

53.49 EUR 53.49 EUR
24-09-2026 08:31:21
Access to the deal

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
24-09-2026 21:42:05
Access to the deal

Gesponsert Interactive Theorem Proving

53.49 EUR 53.49 EUR
25-09-2026 00:05:37
Access to the deal

Ähnliche Produkte

Interactive Theorem Proving and Program Development

85.59 EUR 93.49 EUR
Produkt anzeigen

Interactive Theorem Proving

52.94 EUR 53.49 EUR
Produkt anzeigen

Interactive Theorem Proving

42.79 EUR 53.49 EUR
Produkt anzeigen

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

128.39 EUR
Produkt anzeigen