Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030634051 ISBN 13: 9783030634056
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,72
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 335 pages. 9.25x6.10x0.75 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030634051 ISBN 13: 9783030634056
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings | Shang-Wei Lin (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2020 | Springer | EAN 9783030634056 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.