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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché - Livre Informatique

Note : 0 0 avis sur Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché
- Livre Informatique

Livre Informatique - Peter E. Lauer - 01/12/2011 - Broché - Langue : Anglais

Auteur(s) : Peter E. Lauer - Ryszard Janicki

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/12/2011

Format : Moyen, de 350g à 1kg

Nombre de pages : 500

Expédition : 847

Dimensions : 24.2 x 17.0 x 2.7

ISBN : 3642773397

Résumé :
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of synchronized grammars and automata, permitting system specification and analysis of true concurrency without reduction to non-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentationof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number of typical problems involving concurrency, synchronization and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential Processes and the Calculus of Communicating Systems.

Sommaire:
The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given....

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Specification and Analysis of Concurrent Systems - Peter E. Lauer

Avis sur Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché - Livre Informatique

Présentation Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché - Livre Informatique

Présentation Specification And Analysis Of Concurrent Systems de Peter E. Lauer Format Broché
- Livre Informatique