Luca Aceto (82 results)
Published by Aalborg University 2000
- Softcover
Seller: George Cross Books, Lexington, U.S.A.George Cross Books
Contact seller5-star sellerPaperback. First ition edition. Very Good/No Jacket (11023) Very good in lightly worn wraps. Research evaluation of the Department of Computer Science at Aalborg University in Denmark. . 245.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 36.02
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. pp. 760 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 40.75
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 760.
- Softcover
Seller: SMASS Sellers, IRVING, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 44.91
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 38.34
£ 8.58 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. pp. 760.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.87
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.74
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: BookOrders, Russell, U.S.A.BookOrders
Contact seller5-star sellerCondition: Used - Good
£ 53.92
£ 2.99 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.97
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 48.07
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.01
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.01
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.45
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.55
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: NEPO UG, Rüsselsheim am Main, GermanyNEPO UG
Contact seller5-star sellerCondition: Used - Very good
£ 49.96
£ 20.70 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. 283 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Ohne Schutzumschlag Sprache: Englisch Gewicht in Gramm: 969 24,6 x 18,0 x 2,0 cm, Gebundene Ausgabe.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, Luca (EDT); Bacci, Giorgio (EDT); Bacci, Giovanni (EDT); Ingólfsdóttir, Anna (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 56.39
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 63.60
£ 9.06 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
- International Edition
Seller: UK BOOKS STORE, London, United KingdomUK BOOKS STORE
Contact seller5-star sellerInternational EditionCondition: New
£ 70.82
£ 3.99 shippingShips from United Kingdom to U.S.A.Quantity: 11 available
Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 76.91
£ 7.85 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 82.10
£ 2.98 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 468.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 80.45
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 468 Illus.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 83.56
£ 8.58 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 468.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 56.93
£ 42.26 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.The 28 revised full papers prese.
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.
- Softcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used
£ 70.19
£ 34.51 shippingShips from Germany to U.S.A.Quantity: 1 available
824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7933 9783642220050 Sprache: Englisch Gewicht in Gramm: 900.
Language: English
Published by Springer International Publishing, Springer International Publishing 2017
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.52
£ 56.13 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions…across a remarkably wide range of topics, including real-time, concurrent,and probabilistic models of computation, logic in computer science, andmodel checking. Since 1995, he has been one of the prime movers behind the modelchecking tool for real-time systems UPPAAL, for which he was a co-recipient ofthe CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.
