Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
Editat de James L. Rash et al.
10 oct 2001
Paperback
Preț: 336.23 lei 420.29 lei
6-8 săpt.
-20%
Cărți de Michael G. Hinchey
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%
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Editat de Jonathan P. Bowen et al.
23 aug 1995
Paperback
Preț: 634.94 lei 793.68 lei
6-8 săpt.
-20%