Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings - Couverture souple

9783031781155: Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings

Couverture souple

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Editeur : Springer, 2024

Afficher les exemplaires de cette �dition comportant l?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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2024
Langue: anglais
ISBN 10: 3031781155
ISBN 13: 9783031781155
Reliure: Broch�
Nombre de pages: 224
�diteur: C. Nogueira Sidney, Teodorov Ciprian
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

R�sultats de recherche pour Formal Methods: Foundations and Applications: 27th...

Image d'archives

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

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783031781155

Contacter le vendeur

Acheter neuf

EUR 68,68

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783031781155_new

Contacter le vendeur

Acheter neuf

EUR 64,57

Exp�dition �EUR 13,83
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications

Sidney C. Nogueira

Edit� par Springer, Berlin, Springer Nature Switzerland, Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031781155

Contacter le vendeur

Acheter neuf

EUR 62,05

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26403511711

Contacter le vendeur

Acheter neuf

EUR 84,88

Exp�dition �EUR 3,37
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 410691136

Contacter le vendeur

Acheter neuf

EUR 85,72

Exp�dition �EUR 7,50
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18403511701

Contacter le vendeur

Acheter neuf

EUR 88,92

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

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

C. Nogueira, Sidney (Editor)/ Teodorov, Ciprian (Editor)

Edit� par Springer, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 223 pages. 9.25x6.10x9.25 inches. In Stock. N� de r�f. du vendeur x-3031781155

Contacter le vendeur

Acheter neuf

EUR 88,47

Exp�dition �EUR 11,54
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods: Foundations and Applications (Paperback)

Sidney C. Nogueira

Edit� par Springer International Publishing AG, Cham, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Paperback

impression � la demande

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783031781155

Contacter le vendeur

Acheter neuf

EUR 72,52

Exp�dition �EUR 42,71
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications

Ciprian Teodorov

Edit� par Springer Nature Switzerland Nov 2024, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031781155

Contacter le vendeur

Acheter neuf

EUR 62,05

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4�6, 2024, Proceedings

Ciprian Teodorov

Edit� par Springer Nature Switzerland, Springer Nature Switzerland, 2024

ISBN 10 : 3031781155 ISBN 13 : 9783031781155

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783031781155

Contacter le vendeur

Acheter neuf

EUR 62,05

Exp�dition �EUR 61,74
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier