| Record ID | harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:106962158:976 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:106962158:976?format=raw |
LEADER: 00976pam a22002654a 4500
001 009103397-7
005 20030512104903.0
008 021125s2002 gw a b 101 0 eng
010 $a 2002042870
020 $a3540002669 (softcover : alk. paper)
035 0 $aocm51171708
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.I58$bD78 2002
082 00 $a004$221
111 2 $aDSV-IS 2002$d(2002 :$cRostock, Germany)
245 10 $aInteractive systems :$bdesign, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers /$cPeter Forbrig ... [et al.].
260 $aBerlin ;$aNew York :$bSpringer,$cc2002.
300 $ax, 267 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2545
504 $aIncludes bibliographical references and index.
650 0 $aInteractive computer systems$vCongresses.
700 1 $aForbrig, Peter,$d1954-
988 $a20030512
906 $0DLC