Zustand: New.
Zustand: As New. Unread book in perfect condition.
Zustand: NEW.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 67,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 69,22
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 74,40
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 76,87
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 61,78
Anzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
Zustand: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 85,54
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 388 pages. 9.25x6.10x0.87 inches. In Stock. This item is printed on demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 106,58
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.