Order Total (1 Item Items):
Shipping Destination:
Modeling Verification Real Time Systems (41 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (29)
- As New, Fine or Near Fine (6)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (35)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Published by Kluwer Academic Publishers, 2000
ISBN 10: 0792377370 ISBN 13: 9780792377375
Language: English
US$ 6.21
Convert currencyUS$ 17.48 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780792377375.
-
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Modeling and Verification of Real-Time Systems
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Language: English
US$ 35.99
Convert currencyUS$ 26.29 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Hardcover. Condition: Used: Good. xlibrary copy 2000 hardcover no dj as issued withdrawn stamp in book/ on edge of pages clean crisp pages Kluwer Academic Publ. 438 pages::: K-8.
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.79.
-
US$ 178.97
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 180.59
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 179.25
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 193.69
Convert currencyUS$ 16.18 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 193.69
Convert currencyUS$ 16.18 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 193.67
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 163.87
Convert currencyUS$ 57.24 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
-
Condition: New.
-
Condition: New. pp. 458.
-
Condition: New. pp. xv + 438.
-
Condition: As New. Unread book in perfect condition.
-
US$ 214.40
Convert currencyUS$ 57.24 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Published by Springer US, Springer New York, 2012
ISBN 10: 1461369983 ISBN 13: 9781461369981
Language: English
US$ 197.97
Convert currencyUS$ 74.34 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 274.36
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: 9 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 284.84
Convert currencyUS$ 11.63 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Modeling and Verification of Real-time Systems (Hardcover)
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Language: English
First Edition
Hardcover. Condition: new. Hardcover. This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 285.18
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 273.23
Convert currencyUS$ 33.77 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 454 pages. 9.45x6.30x1.03 inches. In Stock.
-
US$ 274.07
Convert currencyUS$ 33.77 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 305.24
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 300.57
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: 9 available
Add to basketCondition: New.
-
US$ 323.49
Convert currencyUS$ 3.00 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Brand new! Please provide a physical shipping address.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
US$ 333.44
Convert currencyUS$ 12.27 shipping from Ireland to U.S.A.Quantity: 15 available
Add to basketCondition: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . .
