Communicating Embedded Systems Software (8 results)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 145.51
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: World of Books Inc, Montgomery, IL, U.S.A.World of Books Inc
Contact seller4-star sellerCondition: Used - Good
US$ 155.52
Free ShippingShips within U.S.A.Quantity: 1 available
Hardback. Condition: Good. 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.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 168.07
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 180.18
US$ 20.03 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade
Contact seller5-star sellerCondition: New
US$ 214.66
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand new! Please provide a physical shipping address.
- Hardcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 215.69
US$ 10.90 shippingShips from Ireland to U.S.A.Quantity: 15 available
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. . . . . …
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 216.60
US$ 20.03 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 254.50
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
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. …
