Catalogo · 9781447105237
Industrial-Strength Formal Methods in Practice
ISBN 9781447105237
Descrizione non disponibile per questo libro.
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
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
Verba volant · scripta manent