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
137.18
Convert Currency

Add to Basket

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

2.

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
146.23
Convert Currency

Add to Basket

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

3.

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
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

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
154.66
Convert Currency

Add to Basket

Shipping: 2.73
Within U.S.A.
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
161.08
Convert Currency

Add to Basket

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

6.

Published by ISTE Ltd and John Wiley Sons Inc, United Kingdom (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 10
Seller
Book Depository hard to find
(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 . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 # BZV9781848210134

More Information About This Seller | Ask Bookseller a Question

Buy New
196.15
Convert Currency

Add to Basket

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

7.

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
225.07
Convert Currency

Add to Basket

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

8.

Nicolas Navet (Editor), Stephan Merz (Editor)
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. 1. Bookseller Inventory # DADAX1848210132

More Information About This Seller | Ask Bookseller a Question

Buy New
231.32
Convert Currency

Add to Basket

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

9.

Navet, Nicolas/ Merz, Stephan
Published by Iste/Hermes Science Pub (2008)
ISBN 10: 1848210132 ISBN 13: 9781848210134
New Hardcover Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Iste/Hermes Science Pub, 2008. Hardcover. Book Condition: Brand New. 1st edition. 393 pages. 9.25x6.25x1.25 inches. In Stock. Bookseller Inventory # __1848210132

More Information About This Seller | Ask Bookseller a Question

Buy New
246.06
Convert Currency

Add to Basket

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

10.

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
285.17
Convert Currency

Add to Basket

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

There are 1 more copies of this book

View all search results for this book