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

Formal Modeling and Analysis of Timed Systems

Third International Conference

by Wang Yi

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

₹4,346

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,955 for this book (save ₹391).

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

About this book

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

Topics covered include Machine theory, Automates temporels, Méthodes formelles (Informatique) and Temporal automata.

Book details

ISBN-13
9783540309468
ISBN-10
3540309462
Author
Wang Yi
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published
2006
Edition
2005 ed.
Binding
Paperback
Pages
305
Language
English
Condition
New
Subject
Theory of Machines

More in Theory of Machines