A Survey of Verification Techniques for Parallel Programs - Howard Barringer
- Format: Broché
- 128 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre4,40 €
Occasion · Bon État
- Livraison GRATUITE
- Livré entre le 23 et le 26 juillet
- Protection acheteurs :
- 0,00 €
Nos autres offres
-
3,25 €
Occasion · Très Bon État
0,16 € offerts
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
-
Livraison : 3,29 €
Gratuits dès 15,00 € chez ce vendeur - Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
-
Livraison : 3,29 €
-
3,25 €
Occasion · Bon État
0,16 € offerts
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
-
Livraison : 3,29 €
Gratuits dès 15,00 € chez ce vendeur - Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Livre un peu vrillé. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
-
Livraison : 3,29 €
-
43,80 €
Produit Neuf
Ou 10,95 € /mois
- Livraison : 0,00 €
- Livré entre le 8 et le 13 août
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 A Survey Of Verification Techniques For Parallel Programs de Howard Barringer Format Broché - Livre
0 avis sur A Survey Of Verification Techniques For Parallel Programs de Howard Barringer Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation A Survey Of Verification Techniques For Parallel Programs de Howard Barringer Format Broché
- LivreAuteur(s) : Howard BarringerEditeur : Springer BerlinLangue : AnglaisParution : 01/05/1985Nombre de pages : 128Expédition : 207Dimensions : 23.5 x 15.5 x 0.7 Résumé :Flow...
Résumé :
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
Sommaire:
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
Détails de conformité du produit
Personne responsable dans l'UE