//]]>
Unhighlight Highlight
Reactive systems : modelling, specification and verification /   Publication: Cambridge : Cambridge University Press, 2007 . xvi, 284 p. : 26 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Aceto, Luca. Publication: . XXVI, 666 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Aceto, Luca. Publication: . XXIV, 802p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية