//]]>
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية