All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Autor Manuel Clavel et al.
20 iul 2007
Mixed media product
Preț: 604.75 lei 755.94 lei
6-8 săpt.
-20%
Cărți de Steven Eker