Name: Interactive Theorem Proving
Brand: Blanchette, Jasmin Christian
SKU: ID12460476
Availability: InStock

Interactive Theorem Proving

53.49 EUR 9% Off 59.00 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

Angebote
Merkmale

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

-9%

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

Medimops DE

53.49 EUR 59.00 EUR

11-08-2026 00:38:13

Access to the deal

Gesponsert Interactive Theorem Proving

SpringerLink DE

59.00 EUR 59.00 EUR

10-08-2026 23:06:17

Access to the deal

Interactive Theorem Proving

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

Gesponsert Interactive Theorem Proving

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Interactive Theorem Proving

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

Gesponsert Interactive Theorem Proving

Ähnliche Produkte

Interactive Theorem Proving and Program Development

Interactive Theorem Proving

Interactive Theorem Proving

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