2 Ebooks por Jasmin Christian Blanchette
Jasmin Christian Blanchette & Nikolai Kosmatov: Tests and Proofs
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conference …
PDF
Inglês
DRM
€51.38
Jasmin Christian Blanchette & Stephan Merz: Interactive Theorem Proving
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short paper …
PDF
Inglês
DRM
€57.99