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 Process Algebra With Timing de J. C. M. Baeten Format Relié - Livre Informatique

Note : 0 0 avis sur Process Algebra With Timing de J. C. M. Baeten Format Relié - 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 Process Algebra With Timing de J. C. M. Baeten Format Relié
- Livre Informatique

Livre Informatique - J. C. M. Baeten - 01/07/2002 - Relié - Langue : Anglais

Auteur(s) : J. C. M. Baeten - C. A. Middelburg

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/07/2002

Format : Moyen, de 350g à 1kg

Nombre de pages : 312

Expédition : 631

Dimensions : 23.5 x 15.5 x 22.0

ISBN : 9783540434474

Résumé :
The first book systematically dealing with the issue of timing in systems design and analysis....

Sommaire:
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Process Algebra with Timing - J. C. M. Baeten

Avis sur Process Algebra With Timing de J. C. M. Baeten Format Relié - Livre Informatique

Présentation Process Algebra With Timing de J. C. M. Baeten Format Relié - Livre Informatique

Présentation Process Algebra With Timing de J. C. M. Baeten Format Relié
- Livre Informatique