Items related to Software Engineering and Formal Methods. SEFM 2022...
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, ... (Lecture Notes in Computer Science, 13765) - Softcover
Synopsis
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.
The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
"synopsis" may belong to another edition of this title.
Search results for Software Engineering and Formal Methods. SEFM 2022...
Stock Image
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.33. Seller Inventory # G3031262352I3N00
Quantity: 1 available
Stock Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, ... Papers (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031262357_new
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031262352
ISBN 13: 9783031262357
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented. Seller Inventory # 790278318
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Published by
Springer International Publishing Feb 2023, 2023
ISBN 10: 3031262352
ISBN 13: 9783031262357
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. 432 pp. Englisch. Seller Inventory # 9783031262357
Quantity: 2 available
Seller Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26¿30, 2022, Revised Selected Papers
Published by
Springer International Publishing, 2023
ISBN 10: 3031262352
ISBN 13: 9783031262357
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. Seller Inventory # 9783031262357
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Published by
Springer International Publishing, Springer Nature Switzerland Feb 2023, 2023
ISBN 10: 3031262352
ISBN 13: 9783031262357
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022.The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch. Seller Inventory # 9783031262357
Quantity: 2 available
Stock Image
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revised Selected Papers: 13765
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26395357355
Quantity: 4 available
Stock Image
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revised Selected Papers: 13765
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401019764
Quantity: 4 available
Stock Image
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 2630, 2022, . (Lecture Notes in Computer Science, 13765)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 429 pages. 9.25x6.10x1.02 inches. In Stock. Seller Inventory # x-3031262352
Quantity: 2 available
Stock Image
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revised Selected Papers: 13765
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18395357345
Quantity: 4 available