Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... 10729 (Programming and Software Engineering) - Tapa blanda

9783319747804: Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... 10729 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 3319747800 ISBN 13: 9783319747804

Editorial: Springer, 2018

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 47,39

9 Nuevo

De EUR 79,18

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Acerca del autor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2018
Idioma: Ingl�s
ISBN 10: 3319747800
ISBN 13: 9783319747804
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 604
Editor: Cerone Antonio, Roveri Marco
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar usado

Condici�n: Como Nuevo

Most items will be dispatched the...

Ver este art�culo

EUR 47,39

Convertir moneda

EUR 9,79 gastos de env�o desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 79,18

Convertir moneda

EUR 23,00 gastos de env�o desde Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Software Engineering and Formal Methods: SEFM 2017...

Imagen del vendedor

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)

Publicado por Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Antiguo o usado Tapa blanda

Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: 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. N� de ref. del art�culo: wbs2779065688

Contactar al vendedor

Comprar usado

EUR 47,39

Convertir moneda

Gastos de env�o: EUR 9,79

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Marco Roveri

Publicado por Springer International Publishing Feb 2018, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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. N� de ref. del art�culo: 9783319747804

Contactar al vendedor

Comprar nuevo

EUR 79,18

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 26376480830

Contactar al vendedor

Comprar nuevo

EUR 105,49

Convertir moneda

Gastos de env�o: EUR 3,44

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Print on Demand. N� de ref. del art�culo: 369564641

Contactar al vendedor

Comprar nuevo

EUR 109,44

Convertir moneda

Gastos de env�o: EUR 7,49

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Cerone, Antonio|Roveri, Marco

Publicado por Springer International Publishing, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: 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. N� de ref. del art�culo: 202950900

Contactar al vendedor

Comprar nuevo

EUR 69,45

Convertir moneda

Gastos de env�o: EUR 48,99

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. PRINT ON DEMAND. N� de ref. del art�culo: 18376480820

Contactar al vendedor

Comprar nuevo

EUR 111,30

Convertir moneda

Gastos de env�o: EUR 9,95

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Marco Roveri

Publicado por Springer Nature Switzerland, Springer International Publishing Feb 2018, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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. N� de ref. del art�culo: 9783319747804

Contactar al vendedor

Comprar nuevo

EUR 79,18

Convertir moneda

Gastos de env�o: EUR 60,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

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

Publicado por Springer International Publishing, Springer International Publishing, 2018

ISBN 10: 3319747800 ISBN 13: 9783319747804

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 . N� de ref. del art�culo: 9783319747804

Contactar al vendedor