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.
- VerlagSpringer
- Erscheinungsdatum2022
- ISBN 10 3031172434
- ISBN 13 9783031172434
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten460
- HerausgeberRiesco Adrian, Zhang Min
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 53,49
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Methods and Software Engineering: 23rd International...
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 | Seiten: 460 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 40555530/1
Anzahl: 5 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
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