//]]>
Tools and algorithms for the construction and analysis of systems : , 16th International Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20, 2010 /   Publication: Berlin : Springer, 2010 . xvi, 465 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Esparza, Javier. Publication: . XVI, 468p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية