Descripción: Validation of stochastic systems :

Guardado en:

Detalles Bibliográficos
Autor principal:	Baier, Christel, 19..-
Otros Autores:	Haverkort, Boudewijn R., 1964- (Director de publicación), Hermanns, Holger, 1967- (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer 2004. Cham : Springer Nature
Colección:	Lecture notes in computer science 2925
Materias:	Génie logiciel Informatique Systèmes stochastiques Systèmes d'exploitation (ordinateurs) Simulation par ordinateur Processus stochastiques Analyse stochastique Microprocesseurs
Acceso en línea:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Validation of stochastic systems, a guide to current research, Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (VIII-465 p.), Lecture notes in computer science, 3-540-22265-0 • Validation of Stochastic Systems, Texte imprimé, 9783662167427

Descripción
Notas:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	3540246118 9783540246114 (PDF)
ISSN:	1611-3349
Acceso:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017