model checking / grumberg orna

Public ISBD Titre : model checking Type de document : texte imprimé Auteurs : grumberg orna, Auteur Editeur : mitpress Année de publication : 1999. Importance : 314.p. Présentation : couv:ill Format : 24.cm. ISBN/ISSN/EAN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion. model checking [texte imprimé] / grumberg orna, Auteur . - mitpress, 1999. . - 314.p. : couv:ill ; 24.cm. ISBN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26345	E375 -06/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26346	E375 -06/2	Livre	Bibliothèque Centrale	Documentaires	Disponible