|
|
Modelling systems : , practical tools and techniques in software development /
by Fitzgerald, John,
Publication:
Cambridge : Cambridge University Press, 2009
. xvi, 288 p. :
26 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B, VDM, and Z
by Derrick, John.
Publication:
. XV, 378 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|