Zustand: New.
Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,95
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,12
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 66,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New. pp. 571.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2020
ISBN 10: 3030349675 ISBN 13: 9783030349677
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,97
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 400 pages. 9.25x6.10x1.22 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030349675 ISBN 13: 9783030349677
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th InternationalConference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed andselected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practiceincluding both theoreticalapproaches and practical implementations.Also included are theextended abstracts of 6 'journal-first' papers.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings | Wolfgang Ahrendt (u. a.) | Taschenbuch | xvii | Englisch | 2019 | Springer | EAN 9783030349677 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 101,04
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 571.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 82,83
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 571.