Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

7th International Conference

by Joël Ouaknine

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009

₹4,277

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–5 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns.
  • Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹3,892 for this book (save ₹385).

9% off every book, up to ₹500 off per order.

About this book

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co.

Its main subjects are Logic design, Data processing, Computer science and Software engineering.

Book details

ISBN-13
9783642043673
ISBN-10
3642043674
Author
Joël Ouaknine
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published
2009
Edition
2009 ed.
Pages
291
Language
English
Condition
New
Subject
Information & Coding Theory

More in Information & Coding Theory