Record ID | marc_loc_updates/v36.i10.records.utf8:19604763:1139 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:19604763:1139?format=raw |
LEADER: 01139cam a22002894a 4500
001 2003067370
003 DLC
005 20080310093542.0
008 031205s2004 nyua b 101 0 eng
010 $a 2003067370
020 $a3540206930 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.A25$bF35 2002
082 00 $a005.8$222
111 2 $aFASec 2002$d(2002 :$cLondon, England)
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 $aNew York :$bSpringer,$c2004.
300 $ax, 238 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v2629
504 $aIncludes bibliographical references and index.
650 0 $aComputer security$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aAbdallah, Ali E.,$d1957-
700 1 $aRyan, Peter,$d1957-
700 1 $aSchneider, S. A.$q(Steve A.)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0818/2003067370-d.html