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
6-8 săpt.
-20%
