Catalogo · 9783540451334
Formal approaches to agent-based systems
ISBN 9783540451334
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey
The Z formal specification notation
Jonathan P. Bowen, Michael G. Hinchey
Teaching and Learning Formal Methods
C. Neville Dean, Michael G. Hinchey
ZUM '98 : the Z Formal Specification Notation
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Innovative Concepts for Autonomic and Agent-Based Systems
Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski
High-integrity system specification and design
J. P. Bowen, Michael G. Hinchey
Functional Programming With Haskell
Michael G. Hinchey, Steven A. Jarvis
Formal approaches to agent-based systems
James L. Rash, Diana Gordon, Michael G. Hinchey
Concurrent systems
Michael G. Hinchey
Applications of formal methods
Michael G. Hinchey, J. P. Bowen
Agent technology from a formal perspective
Michael G. Hinchey
Altri libri di Michael G. Hinchey, James L. Rash, Christopher Rouff
Verba volant · scripta manent