Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: HPB-Red, Dallas, TX, U.S.A.
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!.
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Ammareal, Morangis, France
Hardcover. 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.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: booksXpress, Bayonne, NJ, U.S.A.
Hardcover. Condition: new.
Published by John Wiley and Sons, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New. Brand New.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by ISTE Ltd., 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Wiley 2008-03-10, London :|Hoboken, N.J., 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Blackwell's, London, United Kingdom
hardback. Condition: New. Language: ENG.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by ISTE Ltd. 2008-03-10, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New.
Published by Wiley-ISTE, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Palexbooks, Miami, FL, U.S.A.
Condition: New. Brand new! Please provide a physical shipping address.
Published by Iste/Hermes Science Pub, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 1st edition. 393 pages. 9.25x6.25x1.25 inches. In Stock.
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: 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. . . . . Books ship from the US and Ireland.
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: 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. . . . .