Výsledky vyhledávání - "Lecture notes in computer science (Springer) ;"

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Vydáno: 2002