Formal Approaches to Agent-Based Systems Editat de James L. Rash et al. 10 oct 2001 Paperback Preț: 326.47 lei 408.09 lei 6-8 săpt. -20%
Innovative Concepts for Autonomic and Agent-Based Systems Editat de Michael G. Hinchey et al. 21 dec 2006 Paperback Preț: 327.69 lei 409.62 lei 6-8 săpt. -20%
Teaching and Learning Formal Methods Editat de C. Neville Dean et al. 6 sep 1996 Hardback Preț: 567.98 lei 709.97 lei -20%
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings Lecture Notes in Computer Science, nr. 4789 Editat de Michael Butler et al. 7 noi 2007 Paperback Preț: 325.92 lei 407.40 lei 6-8 săpt. -20%
Formal Approaches to Agent-Based Systems Editat de Michael G. Hinchey et al. 31 ian 2005 Paperback Preț: 322.37 lei 402.96 lei 6-8 săpt. -20%
ZUM '95: The Z Formal Specification Notation Editat de Jonathan P. Bowen et al. 23 aug 1995 Paperback Preț: 639.03 lei 798.79 lei 6-8 săpt. -20%
Industrial-Strength Formal Methods in Practice Formal Approaches to Computing and Information Technology (FACIT) Editat de Michael G. Hinchey et al. 17 sep 1999 Paperback Preț: 955.62 lei 1194.53 lei 6-8 săpt. -20%
Formal Approaches to Agent-Based Systems Editat de Michael G. Hinchey et al. 29 iul 2003 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
ZUM'97: The Z Formal Specification Notation Editat de Jonathan P. Bowen et al. 20 mar 1997 Paperback Preț: 329.94 lei 412.42 lei 6-8 săpt. -20%
ZUM '98: The Z Formal Specification Notation Editat de Jonathan P. Bowen et al. 16 sep 1998 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%
High-Integrity System Specification and Design Formal Approaches to Computing and Information Technology (FACIT) Autor Jonathan P. Bowen et al. 12 apr 1999 Paperback Preț: 343.68 lei 429.60 lei 6-8 săpt. -20%