Items related to Foundations of Real-Time Computing: Formal Specifications...

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142) - Hardcover

 
9780792391678: Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Synopsis

This volume contains a selection of papers that focus on the state-of­ the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real­ time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End­ use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.

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

Buy Used

Condition: Good
Ships from the UK. Used book that...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Buy New

View this item

FREE shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9781461367963: Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Featured Edition

ISBN 10:  1461367964 ISBN 13:  9781461367963
Publisher: Springer, 2012
Softcover

Search results for Foundations of Real-Time Computing: Formal Specifications...

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
Used Hardcover

Seller: Better World Books Ltd, Dunfermline, United Kingdom

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

Condition: Good. 1991st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 15785951-20

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

André M. van Tilborg (,
Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

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-156745

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

André M. van Tilborg (,
Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

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. Excellent Customer Service. Seller Inventory # ABEOCT25-118539

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

Unbekannt
Published by SPRINGER NATURE, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
Used Hardcover

Seller: Buchpark, Trebbin, Germany

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

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 3018427/202

Contact seller

Buy Used

£ 85.33
Convert currency
Shipping: £ 8.64
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

Seller: ALLBOOKS1, Direk, SA, Australia

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

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHUB341302

Contact seller

Buy New

£ 109.13
Convert currency
Shipping: FREE
From Australia to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

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 # ria9780792391678_new

Contact seller

Buy New

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

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
Used Hardcover

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: Used. pp. 332. Seller Inventory # 263098785

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Seller Image

Van Tilborg, Andre M.; Koob, Gary M. (EDT)
Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

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

Condition: New. Seller Inventory # 7814469-n

Contact seller

Buy New

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

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
Used Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

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

Condition: Used. pp. 332 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5830526

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
New Hardcover

Seller: Best Price, Torrance, CA, U.S.A.

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

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780792391678

Contact seller

Buy New

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

Quantity: 2 available

Add to basket

There are 9 more copies of this book

View all search results for this book