Wow! eBook
All About Maude – A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science) by Manuel Clavel
- Language: Middle English
- ISBN-10: B01K0TURGM
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science) by Manuel Clavel
未经允许不得转载：Wow! eBook » All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science) by Manuel Clavel
相关推荐
Data Structures and Algorithms: Concepts, Techniques and Applications- H??here Mathematik in Rezepten: Begriffe, S??tze und zahlreiche Beispiele in kurzen Lerneinheiten by Christian Karpfinger
- Powder Metallurgy: Science, Technology and Materials
- Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science (Full Circle: Publications of the Archive of Scientific Philo) by Greg Frost-Arnold
