Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.61
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.98
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.08
Quantity: Over 20 available
Add to basketCondition: New.
Condition: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.74
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. pp. 755.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. FM 2016: Formal Methods | 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | John Fitzgerald (u. a.) | Taschenbuch | xxiii | Englisch | 2016 | Springer | EAN 9783319489889 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319489887 ISBN 13: 9783319489889
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319489887 ISBN 13: 9783319489889
Seller: Revaluation Books, Exeter, United Kingdom
US$ 101.29
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 816 pages. 9.25x6.10x1.84 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 198.78
Quantity: 1 available
Add to basketPaperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Nov 2016, 2016
ISBN 10: 3319489887 ISBN 13: 9783319489889
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations. 816 pp. Englisch.
Condition: New. Print on Demand pp. 755.
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319489887 ISBN 13: 9783319489889
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and .
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 755.
Language: English
Published by Springer, Palgrave Macmillan Nov 2016, 2016
ISBN 10: 3319489887 ISBN 13: 9783319489889
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 816 pp. Englisch.