Verwandte Artikel zu Formal Methods and Software Engineering: 23rd International...
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, ... 13478 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 41,49
EUR 8,00 für den Versand von Italien nach USA
Versandziele, Kosten & DauerSuchergebnisse für Formal Methods and Software Engineering: 23rd International...
Beispielbild für diese ISBN
Formal Methods and Software Engineering (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new. Artikel-Nr. VHMN0MUJ6D
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031172434_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 2427, 2022, . (Lecture Notes in Computer Science, 13478)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 455 pages. 9.25x6.10x0.87 inches. In Stock. Artikel-Nr. x-3031172434
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods And Software Engineering
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. V9783031172434
Anzahl: 15 verfügbar
Foto des Verkäufers
Formal Methods and Software Engineering
ISBN 10: 3031172434
ISBN 13: 9783031172434
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch. Artikel-Nr. 9783031172434
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24¿27, 2022, Proceedings
Verlag:
Springer International Publishing, 2022
ISBN 10: 3031172434
ISBN 13: 9783031172434
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Artikel-Nr. 9783031172434
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods and Software Engineering | 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings
Verlag:
Springer Nature Switzerland, 2022
ISBN 10: 3031172434
ISBN 13: 9783031172434
Neu
Taschenbuch
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings | Min Zhang (u. a.) | Taschenbuch | xv | Englisch | 2022 | Springer Nature Switzerland | EAN 9783031172434 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 123481169
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24¿27, 2022, Proceedings
Verlag:
Springer International Publishing, 2022
ISBN 10: 3031172434
ISBN 13: 9783031172434
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 40555530/1
Anzahl: 7 verfügbar