Lectures on Formal Methods and Performance Analysis
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 329.51 lei 411.90 lei
43-57 zile
-20%
Cărți de Ed Brinksma
Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 642.10 lei 802.63 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 322.59 lei 403.23 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma
20 mar 1997
Paperback
Preț: 329.94 lei 412.42 lei
43-57 zile
-20%