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

 
9783031172434: 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)

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

Gebraucht kaufen

Zustand: Hervorragend | Seiten:...
Diesen Artikel anzeigen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Formal Methods and Software Engineering: 23rd International...

Beispielbild für diese ISBN

Unbekannt
ISBN 10: 3031172434 ISBN 13: 9783031172434
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 460 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 40555530/1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 32,23
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Min Zhang
ISBN 10: 3031172434 ISBN 13: 9783031172434
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783031172434_new

Verkäufer kontaktieren

Neu kaufen

EUR 62,09
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Riesco, Adrian (Editor) / Zhang, Min (Editor)
Verlag: Springer, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 455 pages. 9.25x6.10x0.87 inches. In Stock. Artikel-Nr. x-3031172434

Verkäufer kontaktieren

Neu kaufen

EUR 82,52
Währung umrechnen
Versand: EUR 11,86
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb