info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
Interactive Theorem Proving

Interactive Theorem Proving

Interactive Theorem Proving

Angebote / Angebote:

Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

124,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783319948201
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Avigad, Jeremy / Mahboubi, Assia
Einband C, Mathematical Logic and Formal Languages, Software Engineering, Artificial Intelligence, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, System Performance and Evaluation, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, computer science, Mathematical logic, Computer logic, Programming languages (Electronic computers), Computer system failures, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Systems analysis & design, Kartonierter Einband (Kt)
Sprache eng
Seiten 642
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Publikationsjahr 2018

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.