| Record ID | ia:stepwiserefineme0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/stepwiserefineme0000unse/stepwiserefineme0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/stepwiserefineme0000unse/stepwiserefineme0000unse_meta.mrc |
LEADER: 01139cam a2200265 a 4500
001 90009723
003 DLC
005 20080308084009.0
008 900328s1990 gw a b 100 0 eng
010 $a 90009723
020 $a3540525599 (Berlin : acid-free paper)
020 $a0387525599 (New York : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.D5$bS75 1990
082 00 $a004/.36$220
245 00 $aStepwise refinement of distributed systems :$bmodels, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /$cJ.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1990.
300 $ax, 808 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v430
504 $aIncludes bibliographical references.
650 0 $aElectronic data processing$xDistributed processing$xCongresses.
700 1 $aBakker, J. W. de$q(Jacobus Willem),$d1939-
700 1 $aRoever, W.-P. de,$d1943-
700 1 $aRozenberg, Grzegorz.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/90009723-d.html