Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Brand New. 400 pages. 9.25x6.10x0.99 inches. In Stock.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319989375 ISBN 13: 9783319989372
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th InternationalConference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed andselected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Taschenbuch. Condition: Neu. Integrated Formal Methods | 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings | Carlo A. Furia (u. a.) | Taschenbuch | xvi | Englisch | 2018 | Springer | EAN 9783319989372 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Paperback. Condition: New. New. book.
Condition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.