Composing Model-Based Analysis Tools
Editat de Robert Heinrich et al.
4 dec 2022
Paperback
Preț: 622.80 lei 778.50 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ț: 290.98 lei 363.72 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ț: 597.50 lei 746.88 lei
6-8 săpt.
-20%