Specification and compositional verification of real-time systems
système temps réel # temps réel
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540549475
ISBN : 3-540-54947-1
Collation : Bibliogr. ; viii#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0558
Localisation : Collection 1er étage
Code ACM : D.2.4 ; D.3.1 ; F.3.1 ; F.3.2
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014301 | [disponible] |