Modeling and Verification of Real-time Systems

Published by Wiley-ISTE
ISBN 10: 1848210132 / ISBN 13: 9781848210134
Used / Hardcover / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

1848210132 BRAND-NEW, Unread Copy in Perfect Condition. FAST UPS shipping (you'll receive your order within 1-5 business days after shipping in most cases*), this helps to ensure your order arrives in perfect condition. PLEASE NOTE: FedEx does not generally deliver to PO Boxes or APO addresses, so please be sure to give us a physical street address to deliver to; also, unfortunately, we cannot ship this item to Alaska or Hawaii. THANKS! *(this applies to domestic shipments within the continental US - other destinations may take longer). Bookseller Inventory #

Bibliographic Details

Title: Modeling and Verification of Real-time ...
Publisher: Wiley-ISTE

Binding: Hardcover
Book Condition: New

Top Search Results from the AbeBooks Marketplace

1.

Published by Wiley-ISTE (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
Used Hardcover Quantity Available: 1
Seller
HPB-Ohio
(Dallas, TX, U.S.A.)
Rating
[?]

Book Description Wiley-ISTE, 2008. Hardcover. Book Condition: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0000548356

More Information About This Seller | Ask Bookseller a Question

Buy Used
141.71
Convert Currency

Add to Basket

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

2.

Navet, Nicolas (edt); Merz, Stephan (edt)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Quantity Available: 2
Seller
GreatBookPrices
(Columbia, MD, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Bookseller Inventory # 5510654-n

More Information About This Seller | Ask Bookseller a Question

Buy New
142.85
Convert Currency

Add to Basket

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

3.

Nicolas Navet
Published by ISTE Ltd. (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Quantity Available: 2
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description ISTE Ltd., 2008. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # FW-9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
148.48
Convert Currency

Add to Basket

Shipping: 2.80
Within United Kingdom
Destination, Rates & Speeds

4.

Published by ISTE Ltd and John Wiley Sons Inc, United Kingdom (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 1
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2008. Hardback. Book Condition: New. 234 x 158 mm. Language: English . Brand New Book. 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. Bookseller Inventory # AAH9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
154.34
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

5.

Published by ISTE Ltd and John Wiley Sons Inc, United Kingdom (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 1
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2008. Hardback. Book Condition: New. 234 x 158 mm. Language: English . Brand New Book. 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. Bookseller Inventory # AAH9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
158.65
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

6.

Editor-Nicolas Navet; Editor-Stephan Merz
Published by Wiley-ISTE (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Wiley-ISTE, 2008. Hardcover. Book Condition: New. Bookseller Inventory # SONG1848210132

More Information About This Seller | Ask Bookseller a Question

Buy New
158.63
Convert Currency

Add to Basket

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

7.

Editor: Nicolas Navet (Real-Time Systems at INRIA Lorraine (Nancy, France)); Editor: Stephan Merz (INRIA Lorraine (Nancy, France))
Published by John Wiley and Sons
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Quantity Available: > 20
Seller
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description John Wiley and Sons. Book Condition: New. Brand New. Bookseller Inventory # 1848210132

More Information About This Seller | Ask Bookseller a Question

Buy New
160.64
Convert Currency

Add to Basket

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

8.

Stephan Merz
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover First Edition Quantity Available: 1
Seller
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Rating
[?]

Book Description 2008. Hardcover. Book Condition: New. 1st. 163mm x 28mm x 234mm. 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 achi.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 393 pages. 0.717. Bookseller Inventory # 9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
210.91
Convert Currency

Add to Basket

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

9.

Stephan Merz
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover First Edition Quantity Available: 1
Seller
AussieBookSeller
(SILVERWATER, NSW, Australia)
Rating
[?]

Book Description 2008. Hardcover. Book Condition: New. 1st. 163mm x 28mm x 234mm. 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 des.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 393 pages. 0.717. Bookseller Inventory # 9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
214.47
Convert Currency

Add to Basket

Shipping: 22.70
From Australia to United Kingdom
Destination, Rates & Speeds

10.

Published by Wiley-ISTE (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Wiley-ISTE, 2008. Hardcover. Book Condition: New. book. Bookseller Inventory # 1848210132

More Information About This Seller | Ask Bookseller a Question

Buy New
233.77
Convert Currency

Add to Basket

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

There are 3 more copies of this book

View all search results for this book