Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings: ... Computer Science and General Issues) - Tapa blanda

9783030587673: Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings: ... Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030587673 ISBN 13: 9783030587673

Editorial: Springer, 2020

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 79,22

14 Nuevo

De EUR 64,04

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.

The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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

Editorial: Springer
A�o de publicaci�n: 2020
Idioma: Ingl�s
ISBN 10: 3030587673
ISBN 13: 9783030587673
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 340
Editor: De Boer Frank, Cerone Antonio
Contacto del fabricante: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Alemania

Comprar usado

Condici�n: Como Nuevo

Unread book in perfect condition...

Ver este art�culo

EUR 79,22

Convertir moneda

EUR 17,04 gastos de env�o desde Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 64,04

Convertir moneda

EUR 5,16 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783030587697: Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Edici�n Destacada

ISBN 10: 303058769X ISBN 13: 9783030587697
Editorial: Springer, 2020
Tapa blanda

Resultados de la b�squeda para Software Engineering and Formal Methods: 18th International...

Imagen de archivo

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 64,04

Convertir moneda

Gastos de env�o: EUR 5,16

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Antonio Cerone

Publicado por Springer International Publishing Sep 2020, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

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 340 pp. Englisch. N� de ref. del art�culo: 9783030587673

Contactar al vendedor

Comprar nuevo

EUR 58,84

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14�18, 2020, Proceedings

Antonio Cerone

Publicado por Springer International Publishing, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

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

Contactar al vendedor

Comprar nuevo

EUR 58,84

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

de Boer, Frank|Cerone, Antonio

Publicado por Springer International Publishing, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote tal. N� de ref. del art�culo: 400122435

Contactar al vendedor

Comprar nuevo

EUR 52,76

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

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: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

Nuevo Tapa blanda

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. SUPER FAST SHIPPING. N� de ref. del art�culo: 9783030587673

Contactar al vendedor

Comprar nuevo

EUR 52,62

Convertir moneda

Gastos de env�o: EUR 25,55

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering And Formal Methods

De Boer, Frank

Publicado por Springer, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

Nuevo Tapa blanda

Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 83,85

Convertir moneda

Gastos de env�o: EUR 2,00

De Irlanda a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 15 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering and Formal Methods

Publicado por Springer, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

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. pp. XIV, 325 639 illus., 63 illus. in color. 1 Edition NO-PA16APR2015-KAP. N� de ref. del art�culo: 26384563198

Contactar al vendedor

Comprar nuevo

EUR 82,53

Convertir moneda

Gastos de env�o: EUR 9,80

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Antonio Cerone

Publicado por Springer International Publishing, Springer Nature Switzerland Sep 2020, 2020

ISBN 10: 3030587673 ISBN 13: 9783030587673

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. N� de ref. del art�culo: 9783030587673

Contactar al vendedor