Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 181.81
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. Brand new! Please provide a physical shipping address.
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10: 1848211430 ISBN 13: 9781848211438
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: New. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Editor(s): Jard, Claude; Roux, Olivier H. Series: ISTE. Num Pages: 288 pages, Illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 20. Weight in Grams: 546. . 2009. 1st Edition. Hardcover. . . . .
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 220.85
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2009
ISBN 10: 1848211430 ISBN 13: 9781848211438
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Editor(s): Jard, Claude; Roux, Olivier H. Series: ISTE. Num Pages: 288 pages, Illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 20. Weight in Grams: 546. . 2009. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.