11 treff
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
International Workshop on Radical Agent Concepts
Bok Engelsk 2006
Formal approaches to agent-based systems : third international workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
FAABS 2004
Bok Engelsk 2005
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
FAABS 2002
Bok Engelsk 2003
Innovative concepts for agent-based systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers
International Workshop on Radical Agent Concepts
Bok Engelsk 2003
Understanding formal methods
written and translated by Jean François M...
Bok Engelsk 2003
High-integrity system specification and design
Jonathon P. Bowen and Michael G. Hinchey ...
Bok Engelsk 1999
Industrial strength formal methods in practice
Michael G. Hinchey and Jonathan P. Bowen,...
Bok Engelsk 1999
ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
International Conference of Z Users
Bok Engelsk 1997
Teaching and learning formal methods
edited by C. Neville Dean and Michael G. ...
Bok Engelsk 1996
Concurrent systems : formal development in CSP
Michael G. Hinchey and Stephen A. Jarvis
Bok Engelsk 1995
ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
International Conference of Z Users
Bok Engelsk 1995