Michael G. Hinchey
Non abbiamo ancora una biografia di Michael G. Hinchey.
- Opere
- 12
- Edizioni
- 19
- Lingue
- 1
Pubblicato in Inglese
I libri più noti
Tutti i libri di Michael G. Hinchey
Formal approaches to agent-based systems
Industrial-Strength Formal Methods in Practice
The Z formal specification notation
Teaching and Learning Formal Methods
ZUM '98 : the Z Formal Specification Notation
High-integrity system specification and design
Functional Programming With Haskell
Concurrent systems
Applications of formal methods
Agent technology from a formal perspective