EnglishMathematical techniques for analyzing concurrent and probabilistic systems
Ouvrage
Rutten, J. J. M. M. (Secondaire) ; Kwiatkowska, Marta (Secondaire) ; Norman, Gethin (Secondaire) ; Parker, David (Secondaire)
2004
215 p.
978-0-8218-3571-5
00026600
analyse de système # système de calcul probabiliste # co-algèbre # système concurrent # chaîne de Markov # processus de décision
Ville d'édition : Providence
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780821835715
ISBN : 0-8218-3571-8
Collation : 26 cm#rel. ; Bibliogr. ; Index
Collection : CRM monographs series
N° de collection : 0023
Localisation : Collection 1er étage
Type d'ouvrage : Anonyme
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00026600 | [disponible] |
