A Survey of Verification Techniques for Parallel Programs - Barringer, Howard
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
3,74 €
Occasion · Très Bon État
Option Express : Chez vous le 28/04 (?)
-
Livraison : 3,29 €
Gratuits dès 15,00 € chez ce vendeur - Livré entre le 28 avril et le 2 mai
Ancien livre de bibliothèque. 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 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 A Survey Of Verification Techniques For Parallel Programs Format Broché - Livre Informatique
0 avis sur A Survey Of Verification Techniques For Parallel Programs Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
International Express Pre-Intermediate - Workbook
1 avis
Occasion dès 3,90 €
-
Platero Y Yo
2 avis
Occasion dès 3,74 €
-
Nouveau Livre D'histoire De France, Cours Moyen, 1re Et 2e Annees
Occasion dès 2,50 €
-
Histoire De France Cours Elementaire
Occasion dès 1,90 €
-
La Bhagavad-Gita Telle Qu'elle Est
Occasion dès 3,50 €
-
The Complete Illustrated Works Of Lewis Carroll
3 avis
Occasion dès 1,60 €
-
Les Mathematiques En Terminale D, Programmes 1967, Baccalaureat Serie D, 2. Geometrie, Cinematique
Occasion dès 4,49 €
-
Lord Of The Flies. Educational Edition
6 avis
Neuf dès 16,56 €
Occasion dès 3,74 €
-
Gli Indifferenti
3 avis
Occasion dès 2,00 €
-
The Statement
Occasion dès 3,74 €
-
L'angleterre Des Révolutions
Occasion dès 2,00 €
-
Top Marks! - Petits Qcm De Traduction Pour Réviser Son Vocabulaire Et Sa Grammaire En Anglais Niveau 2
Neuf dès 12,00 €
Occasion dès 3,74 €
-
English Touch - Ou La Découverte De La Civilisation Britannique Et Américaine À Travers L'histoire De 200 Mots D'origine Anglaise Connus De Tous
Occasion dès 3,49 €
-
The Bellybuttons - Tome 3 - The Bonds Of Friendship
Occasion dès 4,19 €
-
Harry Potter Tome 3 - Harry Potter And The Prisoner Of Azkaban - Children's Edition
16 avis
Occasion dès 3,80 €
-
Goldilocks And The Three Bears - Level 1
Neuf dès 6,50 €
Occasion dès 3,66 €
-
Othello - Edition Bilingue Français-Anglais
4 avis
Neuf dès 10,50 €
Occasion dès 3,54 €
-
Harry Potter Tome 5 - Harry Potter And The Order Of The Phoenix
37 avis
Occasion dès 1,92 €
-
The Sun Also Rises
Occasion dès 4,57 €
-
Harry Potter - Tome 4 - Harry Potter And The Goblet Of Fire
27 avis
Occasion dès 1,92 €
Produits similaires
Présentation A Survey Of Verification Techniques For Parallel Programs Format Broché
- Livre Informatique
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