Tools and Algorithms for the Construction and Analysis of Systems
Editat de C. R. Ramakrishnan et al.
18 mar 2008
Paperback
Preț: 333.43 lei 416.79 lei
6-8 săpt.
-20%
Cărți de C. R. Ramakrishnan
Practical Aspects of Declarative Languages
Editat de Shriram Krishnamurthi et al.
9 ian 2002
Paperback
Preț: 324.45 lei 405.57 lei
6-8 săpt.
-20%
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Editat de Ezio Bartocci et al.
19 iul 2013
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%