principles of model checking / baiaier christel

Public ISBD Titre : principles of model checking Type de document : texte imprimé Auteurs : baiaier christel, Auteur Editeur : mitpress Année de publication : 2008. Importance : 975.p. Présentation : couv:ill Format : 27.cm. ISBN/ISSN/EAN : 978-0-262-02649-9 Langues : Français (fre) Tags : principles of model checking Index. décimale : e001.42 Résumé : system verfication model checking modelling concurrent systems paralelism and commnication linear time properties linear time properties regular proerties automata on infinite words linear temporal logic automate baed ltl model checking complexity of ltl model checking probem computation tree logic sysmboic ctl model checking equivalences and abstraction a firs partition refinement algorithm partial order reduction the branching time ample set approach timed automata the tctl model checking algorithm probabilistic systems apendix :preli;inqries freauently used sysbols qnd notqtions. principles of model checking [texte imprimé] / baiaier christel, Auteur . - mitpress, 2008. . - 975.p. : couv:ill ; 27.cm. ISBN : 978-0-262-02649-9 Langues : Français (fre) Tags : principles of model checking Index. décimale : e001.42 Résumé : system verfication model checking modelling concurrent systems paralelism and commnication linear time properties linear time properties regular proerties automata on infinite words linear temporal logic automate baed ltl model checking complexity of ltl model checking probem computation tree logic sysmboic ctl model checking equivalences and abstraction a firs partition refinement algorithm partial order reduction the branching time ample set approach timed automata the tctl model checking algorithm probabilistic systems apendix :preli;inqries freauently used sysbols qnd notqtions.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26453	e001.42-16/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26454	e001.42-16/2	Livre	Bibliothèque Centrale	Documentaires	Disponible