Systems, Models and Measures
Autor Agnes Kaposi et al.
dec 1993
Paperback
Preț: 325.29 lei 406.60 lei
6-8 săpt.
-20%
Formal Approaches to Computing and Information Technology (FACIT)
Notations for Software Design
Autor Loe M. G. Feijs et al.
19 oct 1994
Paperback
Preț: 329.60 lei 412.00 lei
6-8 săpt.
-20%
Formal Object-Oriented Development
Autor Kevin Lano
25 oct 1995
Paperback
Preț: 329.60 lei 412.00 lei
6-8 săpt.
-20%
Proof in VDM: A Practitioner's Guide
Autor Juan C. Bicarregui et al.
dec 1993
Paperback
Preț: 339.28 lei 424.11 lei
6-8 săpt.
-20%
Industrial-Strength Formal Methods in Practice
Editat de Michael G. Hinchey et al.
17 sep 1999
Paperback
Preț: 997.82 lei 1247.27 lei
6-8 săpt.
-20%
High-Integrity System Specification and Design
Autor Jonathan P. Bowen et al.
12 apr 1999
Paperback
Preț: 357.61 lei 447.01 lei
6-8 săpt.
-20%
The B Language and Method
Autor Kevin Lano
14 mai 1996
Paperback
Preț: 327.34 lei 409.18 lei
6-8 săpt.
-20%
A Theory and Practice of Program Development
Autor Derek J. Andrews
4 iul 1997
Paperback
Preț: 328.76 lei 410.96 lei
6-8 săpt.
-20%