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ț: 346.98 lei 433.73 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ț: 336.34 lei 420.42 lei
6-8 săpt.
-20%
Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
Editat de Michael G. Hinchey et al.
21 dec 2006
Paperback
Preț: 335.35 lei 419.19 lei
6-8 săpt.
-20%
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Editat de Michael G. Hinchey et al.
31 ian 2005
Paperback
Preț: 330.27 lei 412.83 lei
6-8 săpt.
-20%
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Editat de Michael G. Hinchey et al.
29 iul 2003
Paperback
Preț: 330.96 lei 413.70 lei
6-8 săpt.
-20%
Industrial-Strength Formal Methods in Practice
Editat de Michael G. Hinchey et al.
17 sep 1999
Paperback
Preț: 986.94 lei 1233.67 lei
6-8 săpt.
-20%
High-Integrity System Specification and Design
Autor Jonathan P. Bowen et al.
12 apr 1999
Paperback
Preț: 354.67 lei 443.34 lei
6-8 săpt.
-20%
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Editat de Jonathan P. Bowen et al.
16 sep 1998
Paperback
Preț: 336.99 lei 421.23 lei
6-8 săpt.
-20%
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Editat de Jonathan P. Bowen et al.
20 mar 1997
Paperback
Preț: 337.49 lei 421.86 lei
6-8 săpt.
-20%
Teaching and Learning Formal Methods
Editat de C. Neville Dean et al.
5 sep 1996
Hardback
Preț: 552.25 lei 690.31 lei
-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ț: 655.62 lei 819.53 lei
6-8 săpt.
-20%