| Record ID | marc_loc_updates/v36.i10.records.utf8:16159812:1023 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:16159812:1023?format=raw |
LEADER: 01023cam a22002534a 4500
001 2002042870
003 DLC
005 20080307141842.0
008 021125s2002 gw a b 101 0 eng
010 $a 2002042870
020 $a3540002669 (softcover : alk. paper)
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-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0817/2002042870-d.html