Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.42
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.51
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 79.37
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Springer-Verlag New York Inc, 2014
ISBN 10: 3319101803 ISBN 13: 9783319101804
Seller: Revaluation Books, Exeter, United Kingdom
US$ 93.34
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2014 edition. 404 pages. 9.25x6.10x1.00 inches. In Stock.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319101803 ISBN 13: 9783319101804
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Condition: new. Questo è un articolo print on demand.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.