Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

5th International Conference

by Raskin J.

SPRINGER · 2007

₹2,042

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: 5th International Conference is written by Raskin J.. This edition from SPRINGER (2007) has 372 pages.

Its main subjects are Formal methods (Computer science), Computer simulation, Congresses and Temporal automata.

Book details

ISBN-13
9783540754534
ISBN-10
3540754539
Author
Raskin J.
Publisher
SPRINGER
Published
2007
Edition
2007 ed.
Pages
372
Language
English
Condition
New

More in Textbooks & Study Guides

See all