| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:300868055:1737 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:300868055:1737?format=raw |
LEADER: 01737cam a22003854a 4500
001 4258709
005 20221102191922.0
008 031205s2003 gw a b 101 0 eng
010 $a 2003067370
016 7 $a969325088$2GyFmDB
020 $a3540206930 (softcover : alk. paper)
035 $a(OCoLC)ocm53896716
035 $a(NNC)4258709
035 $a4258709
040 $aDLC$cDLC$dOHX
042 $apcc
050 00 $aQA76.9.A25$bF35 2002
072 7 $aQ$2lcco
082 00 $a005.8$222
111 2 $aFASec 2002$d(2002 :$cLondon, England)$0http://id.loc.gov/authorities/names/n2003019891
245 10 $aFormal aspects of security :$bfirst international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /$cAli E. Abdallah, Peter Ryan, Steve Schneider (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2003.
263 $a0401
300 $ax, 238 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v2629
504 $aIncludes bibliographical references and index.
650 0 $aComputer security$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101458
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
700 1 $aAbdallah, Ali E.,$d1957-$0http://id.loc.gov/authorities/names/n2003019895
700 1 $aRyan, Peter,$d1957-$0http://id.loc.gov/authorities/names/n2003019890
700 1 $aSchneider, S. A.$q(Steve A.)$0http://id.loc.gov/authorities/names/no2001009606
830 0 $aLecture notes in computer science ;$v2629.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.A25$iF35 2002