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


DSV-IS 2002
Bok Engelsk 2002

Detaljer

Bibliotek som har denne