Articoli correlati a 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, ... 2019, Revised Selected Papers: 12226 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2020
- ISBN 10 3030575055
- ISBN 13 9783030575052
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine288
- RedattoreCamara Javier, Steffen Martin
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 65,94
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Software Engineering and Formal Methods: SEFM 2019...
Foto dell'editore
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Editore:
Springer International Publishing, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher. Codice articolo 36801095/1
Quantità: 1 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods
Editore:
Springer International Publishing, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 448684997
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods
Editore:
Springer International Publishing Sep 2020, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783030575052
Quantità: 2 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Editore:
Springer International Publishing, 2020
ISBN 10: 3030575055
ISBN 13: 9783030575052
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 . Codice articolo 9783030575052
Quantità: 1 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods
ISBN 10: 3030575055
ISBN 13: 9783030575052
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783030575052
Quantità: 2 disponibili
Foto dell'editore
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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030575052_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 41871098-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16â"20, 2019, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 41871098-n
Quantità: Più di 20 disponibili
Foto dell'editore
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, R
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783030575052
Quantità: 10 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods : Sefm 2019 Collocated Workshops: Cosim-cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16?20, 2019, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 41871098
Quantità: Più di 20 disponibili