Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science) - Tapa blanda

9783031781155: Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031781155 ISBN 13: 9783031781155

Editorial: Springer, 2024

Ver todas las copias de esta edici�n del ISBN

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

EditorialSpringer
A�o de publicaci�n2024
ISBN 10 3031781155
ISBN 13 9783031781155
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas224
EditorC. Nogueira Sidney, Teodorov Ciprian
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 67,76

Convertir moneda

EUR 4,67 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 Formal Methods: Foundations and Applications: 27th...

Imagen de archivo

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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

Contactar al vendedor

Comprar nuevo

EUR 67,76

Convertir moneda

Gastos de env�o: EUR 4,67

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

Formal Methods: Foundations and Applications

Sidney C. Nogueira

Publicado por Springer, Berlin, Springer Nature Switzerland, Springer, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4-6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems;Formal Semantics and Verification of UML Models;Formal Verification and Proof Techniques in Algorithms and Logics; andFormal Methods for Security and Privacy. 200 pp. Englisch. N� de ref. del art�culo: 9783031781155

Contactar al vendedor

Comprar nuevo

EUR 62,05

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: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4�6, 2024, Proceedings

Ciprian Teodorov

Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4-6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems;Formal Semantics and Verification of UML Models;Formal Verification and Proof Techniques in Algorithms and Logics; andFormal Methods for Security and Privacy. N� de ref. del art�culo: 9783031781155

Contactar al vendedor

Comprar nuevo

EUR 62,05

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

Formal Methods: Foundations and Applications

Publicado por Springer Verlag GmbH, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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. N� de ref. del art�culo: 1929862659

Contactar al vendedor

Comprar nuevo

EUR 55,40

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: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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

Contactar al vendedor

Comprar nuevo

EUR 70,53

Convertir moneda

Gastos de env�o: EUR 6,93

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

Formal Methods: Foundations and Applications (Paperback)

Sidney C. Nogueira

Publicado por Springer International Publishing AG, Cham, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

Nuevo Paperback

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9783031781155

Contactar al vendedor

Comprar nuevo

EUR 60,47

Convertir moneda

Gastos de env�o: EUR 35,23

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods: Foundations and Applications

Ciprian Teodorov

Publicado por Springer Nature Switzerland Nov 2024, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4�6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. N� de ref. del art�culo: 9783031781155

Contactar al vendedor