|
|
Abstract State Machines, Alloy, B, VDM, and Z
by Derrick, John.
Publication:
. XV, 378 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Derrick, John.
Publication:
. XII, 360p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|