Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Editat de Egon Börger et al.
8 sep 2008
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Cărți de Michael Butler
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Editat de Michael Butler et al.
7 noi 2007
Paperback
Preț: 325.92 lei 407.40 lei
6-8 săpt.
-20%
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Editat de Michael Butler et al.
16 iun 2011
Paperback
Preț: 329.74 lei 412.17 lei
3-5 săpt.
-20%