CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France /

Weitere Titel:

Certified Programs and Proofs '17 :
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

Hauptverfasser:

Bertot, Yves, Vafeiadis, Viktor

Körperschaft:

CPP (Conference) Paris, France)

Weitere Verfasser:

Bertot, Yves (HerausgeberIn), Vafeiadis, Viktor (HerausgeberIn)

Format:

Tagungsbericht Elektronisch E-Book

Sprache:

Englisch

Veröffentlicht:

New York : ACM, 2017.

Umfang:

1 online resource (234 pages)

Anmerkungen:

Includes index.

ISBN:

1-4503-4705-3

Schlagworte:

Computer science > Mathematics > Congresses.

Formal methods (Computer science) > Congresses.

Proof theory > Data processing > Congresses.

Links:

Wird geladen...