Items related to Formal Modeling and Analysis of Timed Systems: 5th...

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science, 4763) - Softcover

 
9783540754534: Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings: 4763 (Lecture Notes in Computer Science, 4763)

Synopsis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

"synopsis" may belong to another edition of this title.

Buy New

View this item

£ 3.35 shipping within United Kingdom

Destination, rates & speeds

Search results for Formal Modeling and Analysis of Timed Systems: 5th...

Stock Image

Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 386 Illus. Seller Inventory # 7542874

Contact seller

Buy New

£ 18.74
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-77447

Contact seller

Buy New

£ 24.45
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Raskin J.
Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-270290

Contact seller

Buy New

£ 24.45
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 20 available

Add to basket

Stock Image

Raskin Jean-Francois Thiagarajan P. S.
Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 386. Seller Inventory # 18305039

Contact seller

Buy New

£ 20.55
Convert currency
Shipping: £ 6.67
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 386. Seller Inventory # 26305029

Contact seller

Buy New

£ 20.77
Convert currency
Shipping: £ 6.66
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

JEAN-FRANCOIS RASKIN, P.S. THIAGARAJAN
Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-270291

Contact seller

Buy New

£ 40.97
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540754534_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

P. S. Thiagarajan
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 384 pp. Englisch. Seller Inventory # 9783540754534

Contact seller

Buy New

£ 46.22
Convert currency
Shipping: £ 9.23
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

P. S. Thiagarajan
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783540754534

Contact seller

Buy New

£ 46.22
Convert currency
Shipping: £ 11.74
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Raskin, Jean-Francois|Thiagarajan, P. S.
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540754539 ISBN 13: 9783540754534
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems examines techniques, algorithms, data structu. Seller Inventory # 4900202

Contact seller

Buy New

£ 45.51
Convert currency
Shipping: £ 20.97
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 3 more copies of this book

View all search results for this book