//]]>
Formal method : industrial use from model to the code /   Publication: London : ISTE, 2012 . xv, 357 p. : 24 cm. Date:2012 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2

Languages: 
English |
العربية