Artículos relacionados a Software Engineering and Formal Methods: 18th International...

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

Sinopsis

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
9783030587673: Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings: ... Computer Science and General Issues)
EUR 79,93

Convertir moneda

EUR 2,27 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo
9783030587673: Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings: ... Computer Science and General Issues)
EUR 57,31

Convertir moneda

EUR 3,43 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

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

Publicado por Springer, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020023193

Contactar al vendedor

Comprar nuevo

EUR 57,31
Convertir moneda
Gastos de envío: EUR 3,43
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

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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783030587673_new

Contactar al vendedor

Comprar nuevo

EUR 64,24
Convertir moneda
Gastos de envío: EUR 13,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

De Boer, Frank (EDT); Cerone, Antonio (EDT)
Publicado por Springer, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 41904344-n

Contactar al vendedor

Comprar nuevo

EUR 78,51
Convertir moneda
Gastos de envío: EUR 2,27
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen del vendedor

Antonio Cerone
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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 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 del vendedor

De Boer, Frank (EDT); Cerone, Antonio (EDT)
Publicado por Springer, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 41904344

Contactar al vendedor

Comprar usado

EUR 79,93
Convertir moneda
Gastos de envío: EUR 2,27
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen de archivo

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 Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

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,57
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand pp. XIV, 325 639 illus., 63 illus. in color. Nº de ref. del artículo: 379340833

Contactar al vendedor

Comprar nuevo

EUR 84,80
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 de archivo

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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Nuevo Tapa blanda
Impresión bajo demanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. PRINT ON DEMAND pp. XIV, 325 639 illus., 63 illus. in color. Nº de ref. del artículo: 18384563188

Contactar al vendedor

Comprar nuevo

EUR 86,77
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

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 Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

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 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

Existen otras 5 copia(s) de este libro

Ver todos los resultados de su búsqueda