| Record ID | marc_loc_2016/BooksAll.2016.part34.utf8:96310952:1606 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part34.utf8:96310952:1606?format=raw |
LEADER: 01606cam a22003857a 4500
001 2006934465
003 DLC
005 20080312090213.0
008 060912s2006 gw a b 101 0 eng d
010 $a 2006934465
016 7 $a981257682$2GyFmDB
020 $a3540474609 (pbk.)
020 $a9783540474609 (pbk.)
035 $a(OCoLC)ocm75253433
035 $a(OCoLC)75253433
040 $aOHX$cOHX$dCUS$dBAKER$dYDXCP$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bI5788 2006
072 7 $aQA$2lcco
082 00 $a005.13/1$222
111 2 $aInternational Conference on Formal Engineering Methods$n(8th :$d2006 :$cMacau, China)
245 10 $aFormal methods and software engineering :$b8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /$cZhiming Liu, Jifeng He (eds.).
246 30 $a8th International Conference on Formal Engineering Methods
246 3 $aEighth International Conference on Formal Engineering Methods
246 30 $aInternational Conference on Formal Engineering Methods
246 30 $aICFEM 2006
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $axii, 778 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4260
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aSoftware engineering$vCongresses.
700 1 $aLiu, Zhiming,$d1961-
700 1 $aHe, Jifeng,$d1943-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006934465-d.html