Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Opis bibliograficzny
Format:	Elektroniczne Książka
Język:	English
Wydane:	Association for Computing Machinery (ACM), 1/16/17
Hasła przedmiotowe:	Conference papers and proceedings.
Dostęp online:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobne zapisy

Certified Programs and Proofs
Wydane: (2013)

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 2015 Conference on Certified Programs and Proofs

Proof
od: Williams

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming

Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming

Tests and Proofs
Wydane: (2013)

Robot-Proof
od: Aoun

Proof of Guilt
od: Cairns

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security

Proceedings of the 6th ACM SIGPLAN Symposium on Scala

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Proceedings of the 6th ACM SIGPLAN Workshop on X10

People, Problems, and Proofs
od: Lipton
Wydane: (2013)

PMI : Agile Certified Practitioner : Agile Certified Practitioner
od: Chandramouli, Subramanian;Dutt, Saikat

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming

Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Proceedings of the ACM SIGPLAN workshop on Generic programming

Certified Ethical Hacker
od: Gregg

Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Proceedings of the ACM SIGPLAN 6th on Chapel Implementers and Users Workshop

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming