Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, ... 13478 (Lecture Notes in Computer Science) - Tapa blanda

9783031172434: Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, ... 13478 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031172434 ISBN 13: 9783031172434

Editorial: Springer, 2022

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 32,23

12 Nuevo

De EUR 53,49

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

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

EditorialSpringer
A�o de publicaci�n2022
ISBN 10 3031172434
ISBN 13 9783031172434
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas460
EditorRiesco Adrian, Zhang Min
Contacto del fabricanteno disponible

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 32,23

Convertir moneda

EUR 14,90 gastos de env�o desde Alemania 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 Formal Methods and Software Engineering: 23rd International...

Imagen de archivo

Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24�27, 2022, Proceedings

Unbekannt

Publicado por Springer International Publishing, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Hervorragend. Zustand: Hervorragend | Seiten: 460 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 40555530/1

Contactar al vendedor

Comprar usado

EUR 32,23

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods and Software Engineering

Min Zhang

Publicado por Springer International Publishing Okt 2022, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

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 proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. 460 pp. Englisch. N� de ref. del art�culo: 9783031172434

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

Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24�27, 2022, Proceedings

Min Zhang

Publicado por Springer International Publishing, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

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 proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. N� de ref. del art�culo: 9783031172434

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

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

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

Contactar al vendedor

Comprar nuevo

EUR 61,81

Convertir moneda

Gastos de env�o: EUR 4,70

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

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 2427, 2022, . (Lecture Notes in Computer Science, 13478)

Riesco, Adrian (Editor) / Zhang, Min (Editor)

Publicado por Springer, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

Nuevo Paperback

Impresi�n bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. 455 pages. 9.25x6.10x0.87 inches. In Stock. This item is printed on demand. N� de ref. del art�culo: __3031172434

Contactar al vendedor

Comprar nuevo

EUR 54,73

Convertir moneda

Gastos de env�o: EUR 11,81

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods and Software Engineering

Publicado por Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 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 proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume we. N� de ref. del art�culo: 693973832

Contactar al vendedor

Comprar nuevo

EUR 48,37

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

Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022,

Riesco, Adrian

Publicado por Springer 2022-10, 2022

ISBN 10: 3031172434 ISBN 13: 9783031172434

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 58,32

Convertir moneda

Gastos de env�o: EUR 17,70

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods and Software Engineering

Min Zhang

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

ISBN 10: 3031172434 ISBN 13: 9783031172434

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 proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch. N� de ref. del art�culo: 9783031172434

Contactar al vendedor