Read Interactive Theorem Proving and Program Development Yves Bertot 9783540208549 Books
Download As PDF : Interactive Theorem Proving and Program Development Yves Bertot 9783540208549 Books
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.
Read Interactive Theorem Proving and Program Development Yves Bertot 9783540208549 Books
""Product details
|
Interactive Theorem Proving and Program Development [Yves Bertot] on . PA practical introduction to the development of proofs and certified programs using Coq. /P PAn invaluable tool for researchers Yves Bertot,Interactive Theorem Proving and Program Development,Springer,3540208542,Software Development Engineering - General,Architecture, Computer,Computer logic,Computer programming,Mathematics,Automat; Coq; formal method; interactive theorem proving; logic; programming; proving; theorem proving,Automat;Coq;formal method;interactive theorem proving;logic;programming;proving;theorem proving,B,COMPUTER,COMPUTERS / Information Technology,COMPUTERS / Programming / General,COMPUTERS / Software Development Engineering / General,Computer Applications,Computer Books Languages,Computer Engineering,Computer Science,Computer System Implementation,Computer architecture logic design,Computer logic,Computer programming,Computer programming / software development,Computer programming / software engineering,Computer/Languages,Computers,Computers - General Information,Computers / Computer Engineering,Computers Logic Design,Computers Programming - Systems Analysis Design,Computers/Computer Engineering,Computers/Information Technology,Computers/Intelligence (AI) Semantics,Computers/Logic Design,Computers/Machine Theory,Computers/Software Development Engineering - Systems Analysis Design,Logics and Meanings of Programs,MATHEMATICS / Logic,Mathematical Logic and Foundations,Mathematical foundations,Mathematical logic,Mathematics,Mathematics/Logic,Mathematik / Grundlagen,Non-Fiction,Operating systems,Programming - General,Programming Techniques,Programming languages,Scholarly/Graduate,Software Development Engineering - General,Software Development Engineering - Systems Analysis Desi,Software Engineering,Software Engineering/Programming and Operating Systems,Systems analysis design,Textbooks (Various Levels),Western Europe,COMPUTERS / Information Technology,COMPUTERS / Programming / General,COMPUTERS / Software Development Engineering / General,Computer Engineering,Computers / Computer Engineering,Computers Logic Design,Computers Programming - Systems Analysis Design,Computers/Computer Engineering,Computers/Information Technology,Computers/Intelligence (AI) Semantics,Computers/Logic Design,Computers/Machine Theory,Computers/Software Development Engineering - Systems Analysis Design,MATHEMATICS / Logic,Mathematics/Logic,Programming - General,Programming - Software Development,Software Development Engineering - Systems Analysis Desi,Computer Bks - Languages / Programming,Computers - General Information,Computers,Computer Books Languages,Computer architecture logic design,Computer programming / software engineering,Mathematical logic,Operating systems,Software Engineering,Systems analysis design,Computer programming / software development,Mathematical foundations,Programming languages,Mathematik / Grundlagen
Interactive Theorem Proving and Program Development Yves Bertot 9783540208549 Books Reviews
-
0 Response to "∎ Download Interactive Theorem Proving and Program Development Yves Bertot 9783540208549 Books"
Post a Comment