Författare
Yves Bertot
Yves Bertot är en uppskattad författare inom Naturvetenskap och teknik med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.
Bland verken finns Interactive Theorem Proving and Program Development, som toppar listan över Yves Bertots populäraste böcker. Verken spänner över naturvetenskap & teknik och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Yves Bertots författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Yves Bertot hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Hela bibliografin
Utforska alla Yves Bertots publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Yves Bertot kommer du förmodligen att uppskatta även dessa författare inom naturvetenskap & teknik.