| Record ID | marc_loc_updates/v36.i42.records.utf8:12811197:1596 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:12811197:1596?format=raw |
LEADER: 01596cam a22003737a 4500
001 2006930417
003 DLC
005 20081015075858.0
008 060705s2006 gw a b 101 0 eng d
010 $a 2006930417
020 $a3540372156
020 $a9783540372158
035 $a(CStRLIN)CSUGA6555498-B
035 $a(CSt)(Sirsi)a6555498
040 $aERL$cERL$dDLC
042 $alccopycat
050 00 $aQA76.76.D47$bI593 2006
082 00 $a005.3$222
111 2 $aInternational Symposium of Formal Methods Europe$n(14th :$d2006 :$cHamilton, Ont.)
245 10 $aFM 2006 :$bformal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /$cJayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).
260 $aBerlin :$bSpringer,$cc2006.
300 $axv, 620 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v4085
504 $aIncludes bibliographical references and index.
530 $aAlso available on the World Wide Web.
650 0 $aComputer software$xDevelopment$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aSystem design$xMathematics$vCongresses.
700 1 $aMisra, Jayadev.
700 1 $aNipkow, Tobias,$d1958-
700 1 $aSekerinski, E.$q(Emil),$d1963-
830 0 $aLecture notes in computer science ;$v4085.
856 41 $zAvailable to Stanford-affiliated users at:$uhttp://www.springerlink.com/openurl.asp?genre=journal&issn=0302-9743&volume=4085
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006930417-d.html