Articles liés à Formal Methods: Foundations and Applications: 26th...

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings - Couverture souple

 
9783031493416: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Couverture souple
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Editeur : Springer, 2023

Synopsis

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.

The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2023
  • ISBN 10 3031493419
  • ISBN 13 9783031493416
  • ReliureBroché
  • Langueanglais
  • Numéro d'édition1
  • Nombre de pages176
  • ÉditeurBarbosa Haniel, Zohar Yoni
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
9783031493416: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
EUR 52,76

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Formal Methods: Foundations and Applications: 26th...

Image fournie par le vendeur

Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the&nbsp26th Brazilian Symposium&nbspon&nbspFormal Methods, SBMF 2023, held in&nbspManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefu. N° de réf. du vendeur 1215160988

Contacter le vendeur

Acheter neuf

EUR 52,76
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783031493416_new

Contacter le vendeur

Acheter neuf

EUR 61,46
Autre devise
Frais de port : EUR 4,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Yoni Zohar
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. N° de réf. du vendeur 9783031493416

Contacter le vendeur

Acheter neuf

EUR 58,84
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Yoni Zohar
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Taschenbuch
impression à la demande

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. 176 pp. Englisch. N° de réf. du vendeur 9783031493416

Contacter le vendeur

Acheter neuf

EUR 58,84
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Couverture souple

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783031493416

Contacter le vendeur

Acheter neuf

EUR 65,98
Autre devise
Frais de port : EUR 6,92
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Yoni Zohar
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch. N° de réf. du vendeur 9783031493416

Contacter le vendeur

Acheter neuf

EUR 58,84
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Couverture souple

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

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. 1st ed. 2024 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26398886356

Contacter le vendeur

Acheter neuf

EUR 86,88
Autre devise
Frais de port : EUR 7,79
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Barbosa, Haniel (Editor)/ Zohar, Yoni (Editor)
Edité par Springer-Nature New York Inc, 2024
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 175 pages. 9.25x6.10x0.38 inches. In Stock. N° de réf. du vendeur x-3031493419

Contacter le vendeur

Acheter neuf

EUR 83,78
Autre devise
Frais de port : EUR 11,74
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand. N° de réf. du vendeur 397490699

Contacter le vendeur

Acheter neuf

EUR 87,60
Autre devise
Frais de port : EUR 10,39
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031493419 ISBN 13 : 9783031493416
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18398886366

Contacter le vendeur

Acheter neuf

EUR 92,08
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier