Logic for Concurrency and Synchronisation -
- Format: Relié
- 285 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre18,91 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 21 et le 23 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
24,89 €
Produit Neuf
-
0,00 €
0,01 € dès 30,00 € chez ce vendeur - Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
-
0,00 €
- 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 Logic For Concurrency And Synchronisation Format Relié - Livre
0 avis sur Logic For Concurrency And Synchronisation Format Relié - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Logic For Concurrency And Synchronisation Format Relié
- LivreEditeur : Springer NetherlandLangue : AnglaisParution : 01/05/2003Format : Moyen, de 350g à 1kgNombre de pages : 285Expédition : 621Dimensions : 23.4 x 18.0 x 2.2 Résumé...
Résumé :
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.
Sommaire:
Geometry of Deduction Via Graphs of Proofs.- Chu's Construction: A Proof-Theoretic Approach.- Two Paradigms of Logical Computation in Affine Logic?.- Proof Systems for ?-Calculus Logics.- A Tutorial Introduction to Symbolic Model Checking.- Modal Logics for Finite Graphs.- Bisimulation and Language Equivalence.
Détails de conformité du produit
Personne responsable dans l'UE