Catalogo · 9783540692669
Innovative Concepts for Autonomic and Agent-Based Systems
ISBN 9783540692669
Descrizione non disponibile per questo libro.
Vedi su Google Bookspowered by Google
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formal approaches to agent-based systems
Michael G. Hinchey, James L. Rash, Christopher Rouff
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
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, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski
Verba volant · scripta manent