Formal Methods and Software Engineering (Buch)

Formal Methods and Software Engineering

Buch

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1¿3, 2021, Proceedings
Herausgeber: Shang-Wei Lin, Brendan Mahony, Zhe Hou

Bewertung:

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

-37%

EUR 87,60**

EUR 54,75*

Versandkosten

Springer International Publishing AG, 12/2020
Einband: Kartoniert / Broschiert, Paperback
Sprache: Englisch
ISBN-13: 9783030634056
Bestellnummer: 10394582
Umfang: 352 Seiten
Nummer der Auflage: 20001
Auflage: 1st ed. 2020
Gewicht: 528 g
Maße: 235 x 155 mm
Stärke: 18 mm
Erscheinungstermin: 19.12.2020
Serie: Programming and Software Engineering - Band 12531
Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. 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 theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Verlag:

Springer International Publishing AG

Formal Methods and Software Engineering (Buch) – jpc

Formal Methods and Software Engineering, Kartoniert / Broschiert