Verwandte Artikel zu Integrated Formal Methods: 19th International Conference,...
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234) - Softcover
Inhaltsangabe
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Integrated Formal Methods: 19th International Conference,...
Beispielbild für diese ISBN
Integrated Formal Methods (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers M6GASVJIQJ
Neu kaufen
EUR 118,26
EUR 6,80 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Integrated Formal Methods
Verlag:
Springer, Springer Nov 2024, 2024
ISBN 10: 3031765532
ISBN 13: 9783031765537
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions.The conference focuses onall aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. 352 pp. Englisch. Bestandsnummer des Verkäufers 9783031765537
Neu kaufen
EUR 149,79
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Integrated Formal Methods
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verkäufers 1887555887
Neu kaufen
EUR 127,40
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Integrated Formal Methods | 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Integrated Formal Methods | 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings | Nikolai Kosmatov (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2024 | Springer | EAN 9783031765537 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 130115214
Neu kaufen
EUR 131,15
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions.The conference focuses onall aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. Bestandsnummer des Verkäufers 9783031765537
Neu kaufen
EUR 171,61
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Integrated Formal Methods
Verlag:
Springer, Springer Nov 2024, 2024
ISBN 10: 3031765532
ISBN 13: 9783031765537
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch. Bestandsnummer des Verkäufers 9783031765537
Neu kaufen
EUR 149,79
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar