Reactive Systems Modelling Specification by Aceto Luca (6 results)
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 seller5-star sellerCondition: New
£ 114.46
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
£ 107.76
£ 8.05 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. . . . . …
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
£ 104.46
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 135.21
£ 7.94 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
£ 147.11
£ 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.
