Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers
Uloženo v:
Další autoři: | |
---|---|
Konference: | |
Médium: | Kniha |
Jazyk: | čeština |
Vydáno: |
Berlin :
Springer,
2001
|
Edice: | Lecture notes in computer science ;
v. 2220 |
ISSN: | 0302-9743 |
ISBN: | 3-540-42807-0 |
Témata: | |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Fyzický popis: | xii, 217 s. : il. |
---|---|
Bibliografie: | Obsahuje bibliografie a rejstřík |