Startseite
Über uns
Geschichten
Katalog
Medien
Startseite
Katalog
Autoren
Michael G. Hinchey
Michael G. Hinchey
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
7
ZUM '98 : the Z Formal Specification Notation
The Z formal specification notation
Formal approaches to agent-based systems
Industrial-Strength Formal Methods in Practice
Innovative Concepts for Autonomic and Agent-Based Systems
Teaching and Learning Formal Methods
Formal approaches to agent-based systems
