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

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

 
9783031224775: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Couverture souple
ISBN 10 : 3031224779 ISBN 13 : 9783031224775
Editeur : Springer, 2022

Synopsis

Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.

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

  • ÉditeurSpringer
  • Date d'édition2022
  • ISBN 10 3031224779
  • ISBN 13 9783031224775
  • ReliureBroché
  • Langueanglais
  • Nombre de pages164
  • ÉditeurLima Lucas, Molnár Vince
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
9783031224775: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
EUR 48,34

Autre devise

EUR 11,14 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

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

Image d'archives

Lima, Lucas
Edité par Springer 2022-12, 2022
ISBN 10 : 3031224779 ISBN 13 : 9783031224775
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783031224775

Contacter le vendeur

Acheter neuf

EUR 48,34
Autre devise
Frais de port : EUR 11,14
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer Nature B.V., 2022
ISBN 10 : 3031224779 ISBN 13 : 9783031224775
Neuf PAP
impression à la demande

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

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

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783031224775

Contacter le vendeur

Acheter neuf

EUR 58,51
Autre devise
Frais de port : EUR 1,07
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2022
ISBN 10 : 3031224779 ISBN 13 : 9783031224775
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 ria9783031224775_new

Contacter le vendeur

Acheter neuf

EUR 55,18
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 d'archives

Edité par Springer Nature B.V., 2022
ISBN 10 : 3031224779 ISBN 13 : 9783031224775
Neuf PAP
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

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

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783031224775

Contacter le vendeur

Acheter neuf

EUR 56,12
Autre devise
Frais de port : EUR 5
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier