Liknande böcker

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, I...
Bok av Sujata Ghosh
Formal Modeling and Analysis of Timed Systems : 16th International Confe...
Bok av David N Jansen
Membrane Computing : 12th International Conference, CMC 2011, Fontainebl...
Bok av Marian. Gheorghe
Numerical Software Verification : 10th International Workshop, NSV 2017,...
Bok av Alessandro Abate
Automated Deduction – CADE 26 : 26th International Conference on Automat...
Bok av Leonardo De Moura
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International C...
Bok av Michael Butler
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part...
Bok av Bernhard K Aichernig
Formal Aspects of Component Software : 14th International Conference, FA...

Interactive Theorem Proving

Bok av Jasmin Christian Blanchette