Integrated Formal Methods -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre87,99 €
Produit Neuf
Ou 22,00 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Integrated Formal Methods de Collectif Format Broché - Livre
0 avis sur Integrated Formal Methods de Collectif Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Integrated Formal Methods de Collectif Format Broché
- Livre
Résumé :
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Détails de conformité du produit
Personne responsable dans l'UE