Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers


DSV-IS 2005
Bok Engelsk 2006

Detaljer

Bibliotek som har denne