Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
| פורמט: | אלקטרוני ספר אלקטרוני |
|---|---|
| שפה: | אנגלית |
| יצא לאור: |
Association for Computing Machinery (ACM),
1/18/16
|
| נושאים: | |
| גישה מקוונת: | Full text available on Research4Life (ACM) |
פריטים דומים
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 2015 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 12th ACM SIGPLAN International 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 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proof
מאת: Williams
מאת: Williams
Proofs
Proof of Guilt
מאת: Cairns
מאת: Cairns
Robot-Proof
מאת: Aoun
מאת: Aoun
Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Rabbit-proof fence.
מאת: Garimara, Doris Pilkington
יצא לאור: (2008)
מאת: Garimara, Doris Pilkington
יצא לאור: (2008)
Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
International Journal of Evidence & Proof
Journal of the American College of Certified Wound Specialists, The
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array 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 16th ACM SIGPLAN international conference on Functional programming
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming