Tools and Algorithms for the Construction and Analysis of Systems
Editat de Hubert Garavel et al.
14 mar 2003
Paperback
Preț: 638.69 lei 798.37 lei
6-8 săpt.
-20%
Cărți de John Hatcliff
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Editat de John Hatcliff et al.
iun 2010
Paperback
Preț: 318.67 lei 398.33 lei
3-5 săpt.
-20%
Partial Evaluation: Practice and Theory
Editat de John Hatcliff et al.
17 noi 1999
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%