En raison d'une grève chez bpost, des retards de livraison peuvent survenir. Besoin de quelque chose en urgence ? Optez pour un retrait en magasin ou rendez-vous dans une Librairie Club à proximité.
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
En raison d'une grève chez bpost, des retards de livraison peuvent survenir. Besoin de quelque chose en urgence ? Optez pour un retrait en magasin ou rendez-vous dans une Librairie Club à proximité.
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
Description
Covers all aspects of finite transition systems, which enable the modelling of systems of concurrent processes and also provide the basis for verification and notions of equivalence. This text deals with both the semantics of systems describable as transition systems and their logics.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 188
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9780130929907
- Date de parution :
- 01-03-94
- Format:
- Livre broché
- Dimensions :
- 10 mm x 10 mm
- Poids :
- 530 g
Seulement chez Librairie Club
+ 203 points sur votre carte client de Librairie Club
Cadeau
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.