FrançaisSpecification and compositional verification of real-time systems
Ouvrage
système temps réel # temps réel
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : États-Unis
Language : English
EAN13 : 9783540549475
ISBN : 3-540-54947-1
Collation : Bibliogr. ; viii#24 cm#broch.
Series : Lecture notes in computer science
Nb in series : 0558
Location : Collection 1er étage
ACM code : D.2.4 ; D.3.1 ; F.3.1 ; F.3.2
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00014301 | [available] |
