En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Mathematical techniques for analyzing concurrent and probabilistic systems

Sélection Signaler une erreur
Ouvrage

Rutten, J. J. M. M. (Secondaire) ; Kwiatkowska, Marta (Secondaire) ; Norman, Gethin (Secondaire) ; Parker, David (Secondaire)

American Mathematical Society

2004

215 p.

978-0-8218-3571-5

00026600

68Q60 ; 68Q85

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
Cote Code barre Commentaire
1 00026600 [disponible]
Sélection Signaler une erreur