| Record ID | marc_loc_updates/v36.i10.records.utf8:5204583:1010 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:5204583:1010?format=raw |
LEADER: 01010cam a2200265 a 4500
001 93021317
003 DLC
005 20080307104031.0
008 930901s1993 gw a 000 0 eng
010 $a 93021317
020 $a354057316X :$cDM 80
020 $a038757316X (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.F577 1993
082 00 $a005.1$220
245 00 $aFormal methods in programming and their applications :$binternational conference, Academgorodok, Russia, June/July 1993 : proceedings /$cDines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1993.
300 $aix, 433 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v735
650 0 $aComputer programming.
650 0 $aFormal methods (Computer science)
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aBroy, M.,$d1949-
700 1 $aPottosin, I. V.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/93021317-d.html