CONCUR 2004 -- Concurrency Theory -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre74,49 €
Produit Neuf
Ou 18,62 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540229407_dbm
Nos autres offres
-
124,03 €
Produit Neuf
Ou 31,01 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 15 juin
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 Concur 2004 - - Concurrency Theory Format Broché - Livre Informatique
0 avis sur Concur 2004 - - Concurrency Theory Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Portfolio Joubert "Les Scouts"
Occasion dès 75,00 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
The Lines Of My Hand
1 avis
Occasion dès 79,00 €
-
Western Technology And Soviet Economic Development 1945-1968
Neuf dès 60,23 €
-
Toute Photographie Fait Énigme
Occasion dès 45,80 €
-
Kodak Pixpro Fz55 :
Neuf dès 48,99 €
-
Married Women Who Love Women
Neuf dès 50,64 €
-
Handbook Of Multilingualism And Multiculturalism
Neuf dès 60,00 €
Occasion dès 50,00 €
-
Under Siege
Neuf dès 40,31 €
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Moonwalk By Michael Jackson
2 avis
Occasion dès 70,46 €
-
The Young Adventurer's Collection Box Set 2 (Dungeons & Dragons 4-Book Boxed Set)
Neuf dès 37,27 €
-
Best Karate, Vol.3
Occasion dès 39,00 €
-
Joel Meyerowitz: Europa 1966-1967
Neuf dès 50,00 €
-
Quantum Computing: An Applied Approach
Occasion dès 38,57 €
-
Allemand - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
1 avis
Neuf dès 75,00 €
Occasion dès 50,39 €
-
Ernst Haas - New York In Color, 1952-1962
1 avis
Neuf dès 49,54 €
-
Implementing Domain-Driven Design
Neuf dès 63,38 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
-
Gerhard Richter: Im Albertinum Dresden
Occasion dès 74,99 €
Produits similaires
Présentation Concur 2004 - - Concurrency Theory Format Broché
- Livre Informatique
Sommaire:
Invited Papers.- Zing: Exploiting Program Structure for Model Checking Concurrent Software.- A Semantics for Concurrent Separation Logic.- A Survey of Regular Model Checking.- Resources, Concurrency and Local Reasoning.- Accepted Papers.- Resource Control for Synchronous Cooperative Threads.- Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.- The Pros and Cons of Netcharts.- Basic Theory of Reduction Congruence forTwo Timed Asynchronous ?-Calculi.- Characterizing EF and EX Tree Logics.- Message-Passing Automata Are Expressively Equivalent to EMSO Logic.- Symbolic Bisimulation in the Spi Calculus.- A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps.- Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.- ?ABC: A Minimal Aspect Calculus.- Type Based Discretionary Access Control.- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.- Modular Construction of Modal Logics.- Verification by Network Decomposition.- Reversible Communicating Systems.- Parameterised Boolean Equation Systems.- An Extensional Spatial Logic for Mobile Processes.- Timed vs. Time-Triggered Automata.- Extended Process Rewrite Systems: Expressiveness and Reachability.- A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications.- Model Checking Timed Automata with One or Two Clocks.- On Flatness for 2-Dimensional Vector Addition Systems with States.- Compiling Pattern Matching in Join-Patterns.- Model Checking Restricted Sets of Timed Paths.- Asynchronous Games 2: The True Concurrency of Innocence.- Open Maps, Alternating Simulations and Control Synthesis.- Probabilistic Event Structures and Domains.- Session Types for Functional Multithreading.- A Higher Order Modal FixedPoint Logic....
Détails de conformité du produit
Personne responsable dans l'UE