Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 640.11 lei 800.14 lei
43-57 zile
-20%
Cărți de Ed Brinksma
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 341.16 lei 426.45 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma
20 mar 1997
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 320.37 lei 400.47 lei
43-57 zile
-20%