Items related to Software Engineering and Formal Methods: 20th International...
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.
The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2022
- ISBN 10 3031171071
- ISBN 13 9783031171079
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages386
- EditorSchlingloff Bernd-Holger, Chai Ming
Search results for Software Engineering and Formal Methods: 20th International...
Stock Image
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings
Published by
Springer International Publishing, 2022
ISBN 10: 3031171071
ISBN 13: 9783031171079
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 40529440/1
Quantity: 3 available
Stock Image
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783031171079
Quantity: 10 available
Stock Image
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031171079_new
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing Sep 2022, 2022
ISBN 10: 3031171071
ISBN 13: 9783031171079
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 book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 388 pp. Englisch. Seller Inventory # 9783031171079
Quantity: 2 available
Seller Image
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings
Published by
Springer International Publishing, 2022
ISBN 10: 3031171071
ISBN 13: 9783031171079
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 book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. Seller Inventory # 9783031171079
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3031171071
ISBN 13: 9783031171079
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 693976964
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 2630, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 386 pages. 9.25x6.10x0.91 inches. In Stock. Seller Inventory # x-3031171071
Quantity: 2 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing, Springer Nature Switzerland Sep 2022, 2022
ISBN 10: 3031171071
ISBN 13: 9783031171079
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. Seller Inventory # 9783031171079
Quantity: 2 available
Stock Image
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26?30, 2022, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401162549
Quantity: 4 available
Stock Image
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26?30, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Seller Inventory # 26396295914
Quantity: 4 available