Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 66,12
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 97,81
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. 9.26x6.10x0.69 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Singapore, 2023
ISBN 10: 9819975832 ISBN 13: 9789819975839
Anbieter: moluna, Greven, Deutschland
EUR 61,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings | Yi Li (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxviii | Englisch | 2023 | Springer | EAN 9789819975839 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.