Theories and Experiences for Real-Time System Development (Amast Series in Computing)

0 avg rating
( 0 ratings by Goodreads )
 
9789810219239: Theories and Experiences for Real-Time System Development (Amast Series in Computing)
View all copies of this ISBN edition:
 
 

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this book.

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

Buy New View Book
List Price: US$ 160.00
US$ 127.47

Convert Currency

Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Amast-Fund
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Quantity Available: > 20
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 1995. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # TL-9789810219239

More Information About This Seller | Contact this Seller

Buy New
US$ 127.47
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

C. Rattray, Teodor Rus
Published by World Scientific Publishing Co Pte Ltd, Singapore (1995)
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description World Scientific Publishing Co Pte Ltd, Singapore, 1995. Hardback. Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of real real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis. Seller Inventory # BTE9789810219239

More Information About This Seller | Contact this Seller

Buy New
US$ 160.64
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Teodor Rus, Charles Rattray (Editor)
Published by World Scientific Pub Co Inc (1995)
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description World Scientific Pub Co Inc, 1995. Hardcover. Condition: New. Seller Inventory # DADAX9810219237

More Information About This Seller | Contact this Seller

Buy New
US$ 174.13
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

4.

Teodor Rus
Published by World Scientific Publishing Company
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 1
Seller:
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description World Scientific Publishing Company. Condition: New. Hardcover. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 9810219237

More Information About This Seller | Contact this Seller

Buy New
US$ 199.60
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Teodor Rus
Published by World Scientific Pub Co Inc (1995)
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description World Scientific Pub Co Inc, 1995. Hardcover. Condition: New. book. Seller Inventory # M9810219237

More Information About This Seller | Contact this Seller

Buy New
US$ 203.91
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Teodor Rus
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 1
Seller:
AussieBookSeller
(SILVERWATER, NSW, Australia)
Rating
[?]

Book Description 1994. Hardcover. Condition: New. Hardcover. Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effecti.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 444 pages. 0.703. Seller Inventory # 9789810219239

More Information About This Seller | Contact this Seller

Buy New
US$ 181.01
Convert Currency

Add to Basket

Shipping: US$ 37.00
From Australia to U.S.A.
Destination, Rates & Speeds

7.

Rus, Teodor/ Rattray, Charles (Editor)
Published by World Scientific Pub Co Inc (1995)
ISBN 10: 9810219237 ISBN 13: 9789810219239
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description World Scientific Pub Co Inc, 1995. Hardcover. Condition: Brand New. 431 pages. 9.00x6.50x1.00 inches. In Stock. Seller Inventory # 9810219237

More Information About This Seller | Contact this Seller

Buy New
US$ 283.97
Convert Currency

Add to Basket

Shipping: US$ 8.28
From United Kingdom to U.S.A.
Destination, Rates & Speeds