Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... 13036 (Lecture Notes in Computer Science) - Tapa blanda

9783030891589: Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... 13036 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3030891585 ISBN 13: 9783030891589

Editorial: Springer, 2021

Ver todas las copias de esta edici�n del ISBN

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6^th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

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

Editorial: Springer
A�o de publicaci�n: 2021
Idioma: Ingl�s
ISBN 10: 3030891585
ISBN 13: 9783030891589
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 516
Editor: Margaria Tiziana, Steffen Bernhard
Contacto del fabricante: no disponible
Persona responsable: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Alemania

Comprar nuevo

Ver este art�culo

EUR 76,18

Convertir moneda

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

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Leveraging Applications of Formal Methods, Verification...

Imagen de archivo

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

Publicado por Springer, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

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

Contactar al vendedor

Comprar nuevo

EUR 76,18

Convertir moneda

Gastos de env�o: EUR 5,18

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

Leveraging Applications of Formal Methods, Verification and Validation

Publicado por Springer International Publishing, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

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 contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engin. N� de ref. del art�culo: 508575760

Contactar al vendedor

Comprar nuevo

EUR 65,94

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

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen

Publicado por Springer International Publishing Okt 2021, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

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 contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. 516 pp. Englisch. N� de ref. del art�culo: 9783030891589

Contactar al vendedor

Comprar nuevo

EUR 74,89

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

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17�29, 2021, Proceedings

Bernhard Steffen

Publicado por Springer International Publishing, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

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 contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. N� de ref. del art�culo: 9783030891589

Contactar al vendedor

Comprar nuevo

EUR 74,89

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

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, IS

Margaria, Tiziana

Publicado por Springer 2021-10, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030891589

Contactar al vendedor

Comprar nuevo

EUR 75,65

Convertir moneda

Gastos de env�o: EUR 17,29

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen de archivo

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

Publicado por Springer, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9783030891589

Contactar al vendedor

Comprar nuevo

EUR 93,16

Convertir moneda

Gastos de env�o: EUR 6,83

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

Publicado por Springer, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

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. 1st ed. 2021 edition NO-PA16APR2015-KAP. N� de ref. del art�culo: 26390224637

Contactar al vendedor

Comprar nuevo

EUR 99,44

Convertir moneda

Gastos de env�o: EUR 9,81

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

Leveraging Applications of Formal Methods, Verification and Validation

Bernhard Steffen

Publicado por Springer International Publishing, Springer Nature Switzerland Okt 2021, 2021

ISBN 10: 3030891585 ISBN 13: 9783030891589

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch. N� de ref. del art�culo: 9783030891589

Contactar al vendedor