Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings: 13768 (Lecture Notes in Computer Science) - Tapa blanda

9783031224751: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings: 13768 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031224752 ISBN 13: 9783031224751

Editorial: Springer, 2022

Ver todas las copias de esta edici�n del ISBN

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.

The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction

of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

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

Editorial: Springer
A�o de publicaci�n: 2022
Idioma: Ingl�s
ISBN 10: 3031224752
ISBN 13: 9783031224751
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 164
Editor: Lima Lucas, Moln�r Vince
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar nuevo

Ver este art�culo

EUR 52,70

Convertir moneda

EUR 6,81 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Methods: Foundations and Applications: 25th...

Imagen de archivo

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

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

Contactar al vendedor

Comprar nuevo

EUR 52,70

Convertir moneda

Gastos de env�o: EUR 6,81

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods: Foundations and Applications (Paperback)

Lucas Lima

Publicado por Springer International Publishing AG, Cham, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuevo Paperback Original o primera edici�n

Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9783031224751

Contactar al vendedor

Comprar nuevo

EUR 59,71

Convertir moneda

Gastos de env�o: GRATIS

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

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

Contactar al vendedor

Comprar nuevo

EUR 58,32

Convertir moneda

Gastos de env�o: EUR 13,81

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

Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lima, Lucas

Publicado por Springer 2022-12, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

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

Contactar al vendedor

Comprar nuevo

EUR 56,35

Convertir moneda

Gastos de env�o: EUR 17,85

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications

Vince Moln�r

Publicado por Springer International Publishing Dez 2022, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

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 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 164 pp. Englisch. N� de ref. del art�culo: 9783031224751

Contactar al vendedor