Michael G. Hinchey
Michael G. Hinchey
3 ספרים במאגר
ספרים
Formal approaches to agent-based systemsMichael G. Hinchey
Formal approaches to agent-based systems
Michael G. Hinchey · 2003
Industrial-Strength Formal Methods in PracticeMichael G. Hinchey
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey · 1999
Innovative Concepts for Autonomic and Agent-Based SystemsMichael G. Hinchey
Innovative Concepts for Autonomic and Agent-Based Systems
Michael G. Hinchey · 2006
ספרים משותפים ואוספים
ספרים שבהם Michael G. Hinchey מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal approaches to agent-based systemsJames L. Rash
Formal approaches to agent-based systems
James L. Rash · 2001
The Z formal specification notationJonathan P. Bowen
The Z formal specification notation
Jonathan P. Bowen · 1998
Teaching and Learning Formal MethodsC. Neville Dean
Teaching and Learning Formal Methods
C. Neville Dean · 1996
ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen
ZUM '98 : the Z Formal Specification Notation
Jonathan P. Bowen · 2011