Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Kröger, Fred (1945-....)
Merz, Stephan
Titre(s) : Temporal logic and state systems [Texte imprimé] / Fred Kröger, Stephen Merz
Publication : Berlin : Springer, cop. 2008
Description matérielle : 1 vol. (XI-433 p.) : ill. ; 24 cm
Collection : Texts in theoretical computer science, ISSN ISSN 1862-4499
Lien à la collection : Texts in theoretical computer science (Print)
Note(s) : Bibliogr. p. 421-428
Sujet(s) : Logique temporelle
Systèmes linéaires
Indice(s) Dewey :
003.74 (23e éd.) = Systèmes linéaires
Identifiants, prix et caractéristiques : ISBN 9783540674016. - ISBN 3540674012 (rel.)
Identifiant de la notice : ark:/12148/cb41264690m
Notice n° :
FRBNF41264690
(notice reprise d'un réservoir extérieur)