Author: ASARIN, EUGENE & BOUYER, PATRICIA
Title: Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science).
Description: Springer, 2008. Edition: 2006. Paperback, Pages: 388. Fast Dispatch. Expedited UK Delivery Available. Excellent Customer Service. Bookbarn International Inventory #3185982 Used; Good. ISBN: 9783540450269.

Keywords:


See more books from our catalog: Computing & Internet