//]]>
Unhighlight Highlight
Abstract State Machines, Alloy, B, VDM, and Z by Derrick, John. Publication: . XV, 378 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية