89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 14 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540625032_dbm
Nos autres offres
-
89,91 €
Produit Neuf
Ou 22,48 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 16 septembre
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.
Voir le détail de l'annonce
- 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 Analysis And Verification Of Multiple - Agent Languages Format Broché - Livre Informatique
0 avis sur Analysis And Verification Of Multiple - Agent Languages Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
The Lives Of Seaweeds
Neuf dès 49,86 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Saints At The Limits
Neuf dès 54,44 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Vandals: The Photography Of The Bikeriders
Neuf dès 52,09 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
The Oxford Handbook Of Maritime Archaeology
Neuf dès 115,11 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
-
Book Of The Nsu Prima 1956-1964 Prima D - V - Iii - Iiik -
Neuf dès 48,74 €
Produits similaires
Présentation Analysis And Verification Of Multiple - Agent Languages Format Broché
- Livre Informatique
Résumé :
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.
Sommaire:
Logical and operational methods in the analysis of programs and systems.- Proving properties of logic programs by abstract diagnosis.- Abstract interpretation of the ?-calculus.- Abstract interpretation of small-step semantics.- An overview of mobile agent programming.- Formalising and prototyping a concurrent object-based language.- Type checking for a multiset rewriting language.- Polymorphic subtyping for effect analysis: The static semantics.- Polymorphic subtyping for effect analysis: The dynamic semantics.- Polymorphic subtyping for effect analysis: The algorithm.- Implementing a static analyzer of concurrent programs: Problems and perspectives.- Polyvariance, polymorphism and flow analysis.- Parallel implementation of functional languages.- Mobile processes with local clocks.- Testing semantics of asynchronous distributed programs.- Analysis of Facile programs: A case study.- A non-standard semantics for generating reduced transition systems.- A process language for statecharts.- Priorities in Statecharts.
Détails de conformité du produit
Personne responsable dans l'UE