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ț: 597.50 lei 746.88 lei
43-57 zile
-20%
Cărți de Patrick Lincoln