Items related to Software Engineering and Formal Methods: SEFM 2019...
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Papers (Programming and Software Engineering) - Softcover
Synopsis
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.
The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:
CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2020
- ISBN 10 3030575055
- ISBN 13 9783030575052
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages288
- EditorCamara Javier, Steffen Martin
Search results for Software Engineering and Formal Methods: SEFM 2019...
Seller Image
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41871098-n
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, ... Papers (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020022742
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41871098
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, ... Papers (Programming and Software Engineering)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783030575052
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, ... Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030575052_new
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, R
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030575052
Quantity: 10 available
Stock Image
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Published by
Springer International Publishing, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 36801095/1
Quantity: 1 available
Seller Image
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16â"20, 2019, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41871098-n
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing Sep 2020, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
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 -The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems . 288 pp. Englisch. Seller Inventory # 9783030575052
Quantity: 2 available
Stock Image
Software Engineering and Formal Methods
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. X, 277 230 illus., 28 illus. in color. 1 Edition NO-PA16APR2015-KAP. Seller Inventory # 26384563199
Quantity: 4 available