Interactive Theorem Proving and Program Development

Angebote / Angebote:

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

116,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783540208549
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Bertot, Yves / Castéran, Pierre / Huet, G. / Paulin-Mohring, C.
Einband B, Mathematical Logic and Foundations, Software Engineering/Programming and Operating Systems, Computer System Implementation, Programming Techniques, Software Engineering, Logics and Meanings of Programs, Theory of Computation, computer science, Mathematical logic, Architecture, Computer, Computer programming, Computer logic, Operating systems, Systems analysis & design, Computer programming / software engineering, Computer architecture & logic design, Fester Einband
Sprache eng
Seiten 472
Verlag Springer Nature EN
Reihe Texts in Theoretical Computer Science. An EATCS Series
Publikationsjahr 2004

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.