FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 5TH INTERNATIONAL CONFERENCE, FORMATS 2007, SALZBURG, AUSTRIA, OCTOBER 3-5, 2007, PROCEEDINGS (LECTURE ... Computer Science and General Issues)
-35%
Availability: In Stock

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 5TH INTERNATIONAL CONFERENCE, FORMATS 2007, SALZBURG, AUSTRIA, OCTOBER 3-5, 2007, PROCEEDINGS (LECTURE … Computer Science and General Issues)

SKU: 9783540754534

Original price was: ₹7,573.99.Current price is: ₹4,923.09.

Explore the forefront of formal modeling and analysis for timed systems with the “Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007” proceedings, published by Springer. This essential volume, presented by The Bookish Owl, compiles cutting-edge research from leading experts presented at the 2007 Salzburg conference. Delve into critical advancements in verifying and modeling systems where time is a crucial factor. Ideal for researchers, academics, and practitioners in computer science and related fields seeking to understand the latest methodologies and applications in real-time systems, embedded systems, and software verification. Enhance your knowledge with this authoritative collection.

5 in stock

Category: Tag:

Description

  • ISBN-10: 9783540754534
  • ISBN-13: 978-3540754534
  • Edition: 2007th
  • Publication date: 1 January 2007
  • Language: English
  • Dimensions: 15.49 x 2.21 x 23.5 cm
  • Print length: 372 pages

Related products