Articles liés à 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, Revised Selected Papers - Couverture souple
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2020
- ISBN 10 3030575055
- ISBN 13 9783030575052
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages288
- ÉditeurCamara Javier, Steffen Martin
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 65,94
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Software Engineering and Formal Methods: SEFM 2019...
Image d'archives
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 36801095/1
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 paper. N° de réf. du vendeur 448684997
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030575052_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 . N° de réf. du vendeur 9783030575052
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods
Edité par
Springer International Publishing Sep 2020, 2020
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783030575052
Quantité disponible : 2 disponible(s)
Image d'archives
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, R
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030575052
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch. N° de réf. du vendeur 9783030575052
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 41871098-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16â"20, 2019, Revised Selected Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 41871098-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Edité par
Springer, 2020
ISBN 10 : 3030575055
ISBN 13 : 9783030575052
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 41871098
Quantité disponible : Plus de 20 disponibles