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

Lima, Lucas

ISBN 10: 3031224779 ISBN 13: 9783031224775

Edit� par Springer 2022-12, 2022

Langue: anglais

Neuf(s) Etat : New Couverture souple

Mettre de c�t�

Vendeur Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 2 ao�t 2010

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Prix: EUR 48,19 Autre devise

EUR 11,11 exp�dition depuis Royaume-Uni vers France Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

N� de r�f. du vendeur 6666-IUK-9783031224775

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Formal Methods: Foundations and Applications...

�diteur : Springer 2022-12

Date d'�dition : 2022

Reliure : PF

Etat : New

A propos de ce titre

Synopsis :

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

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Conditions de vente :

TBA

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

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

Lima, Lucas

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur