CURRENTLY SOLD OUT

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings by Joel Ouaknine, Frits W. Vaandrager (Paperback, 2009)

About this product

Best-selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)
4.8 out of 5 stars based on 16 product ratings
£0.99 New
---- Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
5.0 out of 5 stars based on 2 product ratings
£25.53 New
£22.99 Used
Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)
4.9 out of 5 stars based on 41 product ratings
£6.27 New
£6.01 Used
Adrift: The Curious Tale of the Lego Lost at Sea by Tracey Williams (Hardcover, 2021)
4.0 out of 5 stars based on 4 product ratings
£15.34 New
£14.47 Used
Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)
5.0 out of 5 stars based on 2 product ratings
£6.89 New
---- Used
Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)
4.9 out of 5 stars based on 10 product ratings
£44.20 New
£34.99 Used
Trading in the Zone: Master the Market with Confidence, Discipline, and a Winning Attitude by Mark Douglas (Hardcover, 2001)
5.0 out of 5 stars based on 12 product ratings
£6.50 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Concise Laws of Human Nature by Robert Greene Paperback, English
£7.39
Trending at £9.01
Outside In: A Year of Growing & Displaying by Sean A. Pritchard Hardcover Book
£22.80
Trending at £23.55
Silent Spring by Rachel Carson NEW Paperback softback
£10.34
Trending at £11.06
NEW Eye Movement Desensitization & Reprocessing(EMDR)Therapy : Basic Principles
£28.99
Trending at £29.40
Behave- The Biology of Humans at Our Robert M Sapolsky New
£7.40
Trending at £7.45

About this product

Product Information

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): - Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). - Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). - Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).

Product Identifiers

Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783642043673
eBay Product ID (ePID)
88389981

Product Key Features

Author
Joel Ouaknine, Frits W. Vaandrager
Publication Name
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2009
Type
Textbook
Number of Pages
291 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
5813
Item Weight
468g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Joel Ouaknine, Frits W. Vaandrager
Country/Region of Manufacture
Germany

Shop by category

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings by Joel Ouaknine, Frits W. Vaandrager (Paperback, 2009)

Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)

Adrift: The Curious Tale of the Lego Lost at Sea by Tracey Williams (Hardcover, 2021)

Die with Zero: Getting All You Can from Your Money and Your Life by Bill Perkins (Paperback, 2021)

Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)

Trading in the Zone: Master the Market with Confidence, Discipline, and a Winning Attitude by Mark Douglas (Hardcover, 2001)

Save on Adult Learning & University

The Concise Laws of Human Nature by Robert Greene Paperback, English

Outside In: A Year of Growing & Displaying by Sean A. Pritchard Hardcover Book

Silent Spring by Rachel Carson NEW Paperback softback

NEW Eye Movement Desensitization & Reprocessing(EMDR)Therapy : Basic Principles

Behave- The Biology of Humans at Our Robert M Sapolsky New

You may also like

September Scale Aviation Modeller International Magazines

September Scale Aviation Modeller International Magazines in English

September Air International Magazines

September Flight International Magazines

2000-2009 Publication Year Paperbacks Books in Portuguese

September Aircraft Flight International Magazines

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features