Reactive Systems Modelling Specification by Aceto Luca (9 results)
- Hardcover
Seller: BookOrders, Russell, U.S.A.BookOrders
Contact seller5-star sellerCondition: Used - Good
£ 53.70
£ 2.98 shippingShips within U.S.A.Quantity: 1 available
Hard Cover. Condition: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 284 pages. Ex-Library.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
£ 48.84
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521875462.
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand; Srba, Jiri
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 90.75
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand; Srba, Jiri
- Hardcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 112.76
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 109.92
£ 9.08 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight… in Grams: 666. . 2007. hardcover. . . . .
- Hardcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 133.21
£ 7.82 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight… in Grams: 666. . 2007. hardcover. . . . . Books ship from the US and Ireland.
Reactive Systems: Modelling, Specification and Verification
Luca Aceto/ Anna Ingólfsdóttir/ Kim Guldstrand Larsen/ Jiri Srba
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 144.37
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 284 pages. 9.75x7.00x0.75 inches. In Stock.
Reactive Systems: Modelling, Specification and Verification
Luca Aceto/ Anna Ingólfsdóttir/ Kim Guldstrand Larsen/ Jiri Srba
- Hardcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 97.16
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 284 pages. 9.75x7.00x0.75 inches. In Stock. This item is printed on demand.
- Hardcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 99.70
£ 17.72 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
