Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference CPP (Conference) (6th : 2017 : Paris, France)
Title CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France / edited by Yves Bertot and Viktor Vafeiadis.
Alternative Title Certified Programs and Proofs '17 : proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
Certified Programs and Proofs 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
Publication Info New York : ACM, 2017.



Descript 1 online resource (234 pages)
Note Includes index.
.
ISBN 9781450347051
Click on the terms below to find similar items in the catalogue
Conference CPP (Conference) (6th : 2017 : Paris, France)
Subject Computer science -- Mathematics -- Congresses.
Formal methods (Computer science) -- Congresses.
Proof theory -- Data processing -- Congresses.
Alt author Bertot, Yves.
Vafeiadis, Viktor.
Alternative Title Certified Programs and Proofs '17 : proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
Certified Programs and Proofs 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
Descript 1 online resource (234 pages)
Note Includes index.
.
ISBN 9781450347051
Conference CPP (Conference) (6th : 2017 : Paris, France)
Subject Computer science -- Mathematics -- Congresses.
Formal methods (Computer science) -- Congresses.
Proof theory -- Data processing -- Congresses.
Alt author Bertot, Yves.
Vafeiadis, Viktor.
Alternative Title Certified Programs and Proofs '17 : proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
Certified Programs and Proofs 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs

Subject Computer science -- Mathematics -- Congresses.
Formal methods (Computer science) -- Congresses.
Proof theory -- Data processing -- Congresses.
Descript 1 online resource (234 pages)
Note Includes index.
.
Alt author Bertot, Yves.
Vafeiadis, Viktor.
ISBN 9781450347051

Links and services for this item: