Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science)
by Larsen, Kim G. [Editor]; Niebert, Peter [Editor];
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 6x0x9; Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science, 2791)