Notice bibliographique

  • Notice

Type(s) de contenu et mode(s) de consultation : Texte. Image fixe : sans médiation

Auteur(s) : Burkart, Olaf  Voir les notices liées en tant qu'auteur

Titre(s) : Automatic verification of sequential infinite-state processes [Texte imprimé] / Olaf Burkart

Publication : . - Berlin ; Heidelberg ; Paris [etc.] : Springer, cop. 1997

Description matérielle : X-163 p. : ill. ; 24 cm

Collection : (Lecture notes in computer science ; 1354)

Lien à la collection : Lecture notes in computer science 


Note(s) : Bibliogr. p. [155]-159. Index


Sujet(s) : Logiciels -- Développement  Voir les notices liées en tant que sujet

Indice(s) Dewey : 005.14 (23e éd.)  Voir les notices liées en tant que sujet


Numéros : ISBN 3-540-63982-9 (br.)

Notice n° :  FRBNF37537103



Localiser ce document(1 Exemplaire)

Tolbiac - Rez-de-jardin - magasin

1 partie d'exemplaire regroupée