Catalogo · 9781852336400
Industrial-strength formal methods in practice
ISBN 9781852336400
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
Dostoevsky and Kant
Evgenia Cherkasova
Altri libri di Michael G. Hinchey, J. P. Bowen
Verba volant · scripta manent