Composing Model-Based Analysis Tools
Editat de Robert Heinrich et al.
4 dec 2022
Paperback
Preț: 641.16 lei 801.45 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ț: 299.48 lei 374.35 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ț: 615.11 lei 768.88 lei
6-8 săpt.
-20%