Reactive Systems Modelling Specification by Aceto Luca (7 results)
- Hardcover
Seller: BookOrders, Russell, IA, U.S.A.BookOrders
Contact seller5-star sellerCondition: Used - Good
£ 52.86
£ 2.93 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.
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
£ 94.84
£ 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, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 111.01
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 108.91
£ 8.14 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, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 131.13
£ 7.70 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
£ 142.67
£ 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.
- 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.
