Reactive Systems Modelling Specification by Aceto Luca (7 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
US$ 147.00
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
US$ 141.87
US$ 10.60 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
US$ 142.12
US$ 14.91 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
US$ 173.65
US$ 10.50 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
US$ 200.09
US$ 16.51 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
US$ 135.65
US$ 23.41 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.
More images- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 158.33
US$ 78.12 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. Reactive Systems | Modelling, Specification and Verification | Luca Aceto (u. a.) | Buch | Gebunden | Englisch | 2014 | Cambridge University Press | EAN 9780521875462 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…
