Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Schneider, Klaus (1967-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Verification of reactive systems [Texte imprimé] : formal methods and algorithms / Klaus Schneider

Publication : Berlin ; New York : Springer, cop. 2004

Description matérielle : XIV-600 p. : ill. ; 25 cm

Collection : Texts in theoretical computer science

Lien à la collection : Texts in theoretical computer science (Print)  Voir toutes les notices liées

Note(s) : Bibliogr. p. [561]-589. Index

Sujet(s) : Systèmes informatiques -- Inspection  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.21 (23e éd.) = Analyse et conception des systèmes (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-00296-0 (rel.)

Identifiant de la notice  : ark:/12148/cb39104994d

Notice n° :  FRBNF39104994 (notice reprise d'un réservoir extérieur)