Jasmin Christian Blanchette – författare
Visar alla böcker från författaren Jasmin Christian Blanchette. Handla med fri frakt och snabb leverans.
4 produkter
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Av Jasmin Christian Blanchette, Nikolai Kosmatov
Häftad, 2015
545 kr
Lägg i varukorg
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 Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were …
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Av Nikolai Kosmatov, Jasmin Christian Blanchette
E-bok, 2015
672 kr
Lägg i varukorg
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 Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were …
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Av Jasmin Christian Blanchette, Stephan Merz
Häftad, 2016
569 kr
Lägg i varukorg
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 papers presented were carefully reviewed and selected from 55 submissions. The topics range from …
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Av Stephan Merz, Jasmin Christian Blanchette
E-bok, 2016
755 kr
Lägg i varukorg
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 papers presented were carefully reviewed and selected from 55 submissions. The topics range from …
