Image from Amazon.com
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6246. | LNCS sublibrary. SL 1 Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, 2010.Description: x, 255 pages, illustrations, 24 cmISBN: - 9783642152962 (pbk.)
- 3642152961 (pbk.)
- 004.01/51 23
- QA76.9.C65 F676 2010
- Also issued online.
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Book
|
Library | 004-2010 (Browse shelf(Opens below)) | Available | AT-ISTA#002299 |
Total holds: 0
Includes bibliographical references and index.
Also issued online.