Theoretical and Practical Aspects of SPIN Model Checking
Editat de Dennis Dams et al.
8 sep 1999
Paperback
Preț: 334.59 lei 418.24 lei
6-8 săpt.
-20%
Cărți de Stefan Leue
Model Checking Software
Editat de Dragan Bošnački et al.
27 mar 2002
Paperback
Preț: 333.74 lei 417.18 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems
Editat de Stefan Leue et al.
19 mai 2008
Paperback
Preț: 333.13 lei 416.42 lei
6-8 săpt.
-20%
Scenarios: Models, Transformations and Tools
Editat de Stefan Leue et al.
16 iun 2005
Paperback
Preț: 334.80 lei 418.50 lei
6-8 săpt.
-20%