| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:402547168:1533 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:402547168:1533?format=raw |
LEADER: 01533cam a2200325Mi 4500
001 4394011
005 20221102205536.0
008 040402t20042004gw a b 101 0 eng d
020 $a3540213775 (pbk.)
035 $a(OCoLC)ocm54880786
035 $a(NNC)4394011
035 $a4394011
040 $aOHX$cOHX$dOSU
072 7 $aQA$2lcco
090 $aQA76.9.F67$bI58 2004
111 2 $aInternational Conference on Integrated Formal Methods$n(4th :$d2004 :$cCanterbury, England)
245 10 $aIntegrated formal methods :$b4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /$cEerke A. Boiten, John Derrick, Graeme Smith (eds.).
246 30 $aIFM 2004
260 $aBerlin ;$aHong Kong :$bSpringer-Verlag,$c[2004], ©2004.
300 $axi, 540 pages :$bfigures, tables ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v2999
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
700 1 $aBoiten, Eerke,$d1966-$0http://id.loc.gov/authorities/names/n2001001217
700 1 $aDerrick, John,$d1963-$0http://id.loc.gov/authorities/names/n2001001216
700 1 $aSmith, Graeme,$d1966-$0http://id.loc.gov/authorities/names/n99256472
830 0 $aLecture notes in computer science ;$v2999.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.F67$iI684 2004g