| Record ID | marc_loc_2016/BooksAll.2016.part31.utf8:204805617:1272 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part31.utf8:204805617:1272?format=raw |
LEADER: 01272cam a22003014a 4500
001 2004114617
003 DLC
005 20060717094759.0
008 041005s2004 gw a b 101 0 eng
010 $a 2004114617
020 $a3540238417 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.F67$bI5788 2004
082 00 $a005.13/1$222
111 2 $aInternational Conference on Formal Engineering Methods$n(6th :$d2004 :$cSeattle, Wash.)
245 10 $aFormal methods and software engineering :$b6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /$cJim Davies, Wolfram Schulte, Mike Barnett (eds.).
250 $a1st ed.
260 $aBerlin ;$aNew York :$bSpringer,$cc2004.
300 $axiii, 500 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3308
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aSoftware engineering$vCongresses.
700 1 $aDavies, Jim,$d1964-
700 1 $aSchulte, Wolfram.
700 1 $aBarnett, Mike,$d1957-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2004114617-d.html