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.

Editorial: Springer
A�o de publicaci�n: 2024
Idioma: Ingl�s
ISBN 10: 3031781155
ISBN 13: 9783031781155
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 224
Editor: C. Nogueira Sidney, Teodorov Ciprian
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 66,69

Convertir moneda

EUR 5,19 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 66,69

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

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 69,39

Convertir moneda

Gastos de env�o: EUR 6,82

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

Contactar al vendedor

Comprar nuevo

EUR 57,00

Convertir moneda

Gastos de env�o: EUR 25,57

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Publicado por Springer, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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

Contactar al vendedor

Comprar nuevo

EUR 86,81

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

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