Composing Model-Based Analysis Tools
Editat de Robert Heinrich et al.
4 dec 2022
Paperback
Preț: 628.20 lei 785.25 lei
6-8 săpt.
-20%
Cărți de Francisco Durán
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Editat de Francisco Durán
14 sep 2012
Paperback
Preț: 293.48 lei 366.84 lei
6-8 săpt.
-20%
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%