Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, . (Lecture Notes in Computer Science, 10729)

ISBN 10: 3319747800 ISBN 13: 9783319747804

Verlag: Springer, 2018

Gebraucht Softcover

Verk�ufer Bahamut Media, Reading, Vereinigtes K�nigreich Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 15. August 2012

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bestandsnummer des Verk�ufers 6545-9783319747804

Diesen Artikel melden

Inhaltsangabe:

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.

�ber die Autorin bzw. den Autor:

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Software Engineering and Formal Methods: ...
Verlag: Springer
Erscheinungsdatum: 2018
Einband: Softcover
Zustand: Very Good

Beste Suchergebnisse bei AbeBooks

Foto des Verk�ufers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, . (Lecture Notes in Computer Science, 10729)

Verlag: Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Gebraucht Softcover

Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Bestandsnummer des Verk�ufers wbs2779065688

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 48,90

EUR 9,71 shipping
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods

Cerone, Antonio|Roveri, Marco

Verlag: Springer International Publishing, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefu. Bestandsnummer des Verk�ufers 202950900

Verk�ufer kontaktieren

Neu kaufen

EUR 69,45

EUR 48,99 shipping
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Antonio Cerone (u. a.)

Verlag: Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Neu Taschenbuch

Anbieter: preigu, Osnabr�ck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers | Antonio Cerone (u. a.) | Taschenbuch | x | Englisch | 2018 | Springer | EAN 9783319747804 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verk�ufers 111014477

Verk�ufer kontaktieren

Neu kaufen

EUR 72,20

EUR 70,00 shipping
Versand von Deutschland nach USA

Anzahl: 5 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods

Marco Roveri

Verlag: Springer International Publishing Feb 2018, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium 'From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . 604 pp. Englisch. Bestandsnummer des Verk�ufers 9783319747804

Verk�ufer kontaktieren

Neu kaufen

EUR 79,18

EUR 23,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Marco Roveri

Verlag: Springer International Publishing, Springer International Publishing, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium 'From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . Bestandsnummer des Verk�ufers 9783319747804

Verk�ufer kontaktieren

Neu kaufen

EUR 79,18

EUR 64,51 shipping
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods

Marco Roveri

Verlag: Springer Nature Switzerland, Springer International Publishing Feb 2018, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Neu Taschenbuch

Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium �From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;MSE 2017 -- 1st Workshop on Microservices: Science and Engineering;CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems�.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch. Bestandsnummer des Verk�ufers 9783319747804

Verk�ufer kontaktieren