Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 642.10 lei 802.63 lei
6-8 săpt.
-20%
Cărți editura Springer
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 335.46 lei 419.34 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems
Editat de Kim G. Larsen et al.
8 apr 2004
Paperback
Preț: 375.85 lei
6-8 săpt.