All About Maude - A High-Performance Logical Framework

類似資料

• It's All About Coordination
  著者:: Boer, Frank de, 等
  出版事項: (2020)
• Introducing Play Framework
  著者:: Karunakaran, Prem Kumar
  出版事項: (2020)
• Logic-Based Program Synthesis and Transformation
  著者:: Hermenegildo, Manuel V, 等
  出版事項: (2020)
• Advances in Smalltalk
  著者:: Meuter, Wolfgang De
  出版事項: (2020)
• Practical Aspects of Declarative Languages
  出版事項: (2020)