Damiani Ferruccio Editor (5 results)
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers . / Programming and Software Engineering)
Beckert, Bernhard (Editor) / Damiani, Ferruccio (Editor) / Gurov, Dilian (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 62.45
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 261 pages. 9.20x6.10x0.63 inches. In Stock.
Language: English
Published by Springer-Nature New York Inc, 2021
Series: Lecture Notes in Computer Science, Book 110 of 129. Book 110 of 129 - Lecture Notes in Computer Science
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.52
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 317 pages. 9.25x6.10x0.67 inches. In Stock.
Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Berardi, Stefano (Editor)/ Damiani, Ferruccio (Editor)/ Liguoro, Ugo De (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.01
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2009 edition. 323 pages. 9.29x6.06x0.79 inches. In Stock.
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Damiani, Ferruccio (Editor) / de Boer, Frank S. (Editor) / Bonsangue, Marcello M. (Editor) / Beckert, Bernhard (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.14
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2013 edition. 366 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 101.33
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 385 pages. 9.25x6.10x0.80 inches. In Stock.
