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. Bestandsnummer des Verkäufers VHMN0MUJ6D
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 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: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020036668
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2022
ISBN 10: 3031172434
ISBN 13: 9783031172434
Neu
Paperback
Erstausgabe
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 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 2427, 2022, . (Lecture Notes in Computer Science, 13478)
Print-on-DemandAnbieter: 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. This item is printed on demand. Bestandsnummer des Verkäufers __3031172434
Anzahl: 2 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. Bestandsnummer des Verkäufers 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 24-27, 2022,
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783031172434
Anzahl: 10 verfügbar
Foto des Verkäufers
Formal Methods and Software Engineering
Verlag:
Springer International Publishing Okt 2022, 2022
ISBN 10: 3031172434
ISBN 13: 9783031172434
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 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. 460 pp. Englisch. Bestandsnummer des Verkäufers 9783031172434
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods And Software Engineering
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers V9783031172434
Anzahl: 15 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: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26396295932
Anzahl: 4 verfügbar