Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Theoretical Computer Science and General Issues) - Tapa blanda

9783030480769: Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030480763 ISBN 13: 9783030480769

Editorial: Springer, 2020

Ver todas las copias de esta edici�n del ISBN

3 Usado

De EUR 33,47

15 Nuevo

De EUR 53,49

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.

The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

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

Editorial: Springer
A�o de publicaci�n: 2020
Idioma: Ingl�s
ISBN 10: 3030480763
ISBN 13: 9783030480769
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 440
Editor: Raschke Alexander, M�ry Dominique, Houdek Frank
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

This book is in excellent condition...

Ver este art�culo

EUR 33,47

Convertir moneda

EUR 32,00 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 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Rigorous State-Based Methods: 7th International Conference,...

Imagen del vendedor

Rigorous State-Based Methods

Alexander Raschke

Publicado por Springer International Publishing Mai 2020, 2020

ISBN 10: 3030480763 ISBN 13: 9783030480769

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 the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020.The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress). 440 pp. Englisch. N� de ref. del art�culo: 9783030480769

Contactar al vendedor

Comprar nuevo

EUR 53,49

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

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27?29, 2020, Proceedings (Lecture Notes in Computer Science, 12071)

Raschke, Alexander [Editor]; M�ry, Dominique [Editor]; Houdek, Frank [Editor];

Publicado por Springer, 2020

ISBN 10: 3030480763 ISBN 13: 9783030480769

Antiguo o usado paperback

Librería: Unique Books For You, Aurora, IL, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

paperback. Condici�n: As New. This book is in excellent condition, like new. Text clean & unmarked, solid binding. Minimal shelf/edge wear. In the mail within 24 hours. N� de ref. del art�culo: 55279-012624217DHD

Contactar al vendedor

Comprar usado

EUR 33,47

Convertir moneda

Gastos de env�o: EUR 32,00

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27�29, 2020, Proceedings

Alexander Raschke

Publicado por Springer International Publishing, 2020

ISBN 10: 3030480763 ISBN 13: 9783030480769

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 the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020.The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress). N� de ref. del art�culo: 9783030480769

Contactar al vendedor

Comprar nuevo

EUR 53,49

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

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2020

ISBN 10: 3030480763 ISBN 13: 9783030480769

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

Contactar al vendedor

Comprar nuevo

EUR 60,53

Convertir moneda

Gastos de env�o: EUR 5,19

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

Rigorous State-Based Methods

Raschke, Alexander|M�ry, Dominique|Houdek, Frank

Publicado por Springer International Publishing, 2020

ISBN 10: 3030480763 ISBN 13: 9783030480769

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 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 the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020.&nbspThe conference was cancelled due to the COVID-19 pandemic.The. N� de ref. del art�culo: 385700300

Contactar al vendedor