國立虎尾科技大學 |

Language: English

Back

Interactive systems : design, specif...

DSVIS 2005 ((2005)

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

Record Type:	Language materials, printed : monographic
Title Information:	design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
Secondary Intellectual Responsibility:	HarrisonMichael D., 1949-
Secondary Intellectual Responsibility:	GilroyStephen W.,
Corporate Body:	DSVIS 2005(2005
Place of Publication:	Berlin
Published:	Springer;
Year of Publication:	c2006
Description:	xi, 263 p.ill. : 24 cm.;
Series:	Lecture notes in computer science
Subject:	Interactive computer systems -
ISBN:	9783540341451

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

Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison (eds.) - Berlin : Springer, c2006. - xi, 263 p. ; ill. ; 24 cm.. - (Lecture notes in computer science ; 3941).
Includes bibliographical references and index.
ISBN 9783540341451ISBN 3540341455
Interactive computer systems

Harrison, Michael D.

Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
LDR:00938nam 2200253 i 450 001 501590
009 a(CStRLIN)PATGB32584775-B
009 a2006925462
010 1 $a 9783540341451 $b (pbk.)
010 1 $a 3540341455 $b (pbk.) $d EUR45
100 $a d2006 ak0y0engy50020302ba
101 0 $a eng
102 $a de
105 $a a z 001yy
200 1 $a Interactive systems $e design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers $f Stephen W. Gilroy, Michael D. Harrison (eds.)
210 $a Berlin $d c2006 $c Springer
215 1 $a xi, 263 p. $c ill. $d 24 cm.
225 2 $a Lecture notes in computer science $v 3941 $x 0302-9743
320 $a Includes bibliographical references and index
410 0 $1 2001 $a Lecture notes in computer science
606 $2 lc $a Interactive computer systems $3 400433
676 $a 006.7 $v 22
680 $a QA76.9.I58 $b D78 2005
702 1 $a Harrison $b Michael D. $f 1949- $3 494765
702 1 $a Gilroy $b Stephen W. $3 494764
710 1 2 $a DSVIS 2005 $e Newcastle upon Tyne, England) $f (2005 $3 494766
801 0 $b NNC
801 0 $a tw $b BIB $c 20071119
801 2 $a tw $b NFU $c 20090928 $g CCR $m 3