Formal Modeling and Analysis of Timed Systems

Name: Formal Modeling and Analysis of Timed Systems: 8th International Conference
Brand: Springer
SKU: 9783642152962
Price: 5517.00 INR
Availability: InStock

8th International Conference

by Krishnendu Chatterjee, Thomas A. Henzinger

Springer · 2010

₹5,517

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Modeling and Analysis of Timed Systems: 8th International Conference is written by Krishnendu Chatterjee & Thomas A. Henzinger. This edition from Springer (2010) has 255 pages. It belongs to the LNCS sublibrary: SL 1-theoretical computer science and general issues series.

Topics covered include Formal methods (Computer science), Computer simulation, Congresses and Temporal automata.

Subjects

Book details

ISBN-13: 9783642152962
ISBN-10: 3642152961
Authors: Krishnendu Chatterjee, Thomas A. Henzinger
Publisher: Springer
Published: 2010
Series: LNCS sublibrary: SL 1-theoretical computer science and general issues
Pages: 255
Language: English
Condition: New
Subject: Computer simulation