Name: Interactive Theorem Proving
Brand: Mauricio Ayala-Rincón
SKU: ID12530471

Interactive Theorem Proving

52.94 EUR 10% Off 59.00 EUR

Die Aufzeichnungen der achten ITP-Konferenz in Brasilien enthüllen innovative Techniken für interaktive Beweisführung, inklusive fortgeschrittener Automatisierung und Anwendungen in sicherheitskritischen Systemen.

Marke: Mauricio Ayala-Rincón

ISBN: 9783319661063

Angebote
Merkmale

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

-10%

Gesponsert Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science)

Medimops DE

52.94 EUR 59.00 EUR

02-11-2026 22:54:26

Access to the deal

-9%

Gesponsert Interactive Theorem Proving

Hugendubel

53.49 EUR 59.00 EUR

03-11-2026 15:41:52

Access to the deal

Gesponsert Interactive Theorem Proving

SpringerLink DE

59.00 EUR 59.00 EUR

03-11-2026 17:51:13

Access to the deal

Interactive Theorem Proving

Gesponsert Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science)

Gesponsert Interactive Theorem Proving

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: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science)

Gesponsert Interactive Theorem Proving

Gesponsert Interactive Theorem Proving

Ähnliche Produkte

Spin Master Spielfigur Wizarding World - Interaktiver Dobby Hauself

Cyberpower CP1200EIPFCRM2U 720W USV

Spin Master Spielfigur Wizarding World - Interaktiver Dobby Hauself

PS4 - TT: Isle of Man (DE Version) (mit OVP) (gebraucht) NEUWERTIG