| Record ID | ia:formalaspectsofs0000fast |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formalaspectsofs0000fast/formalaspectsofs0000fast_marc.xml |
| Download MARC binary | https://www.archive.org/download/formalaspectsofs0000fast/formalaspectsofs0000fast_meta.mrc |
LEADER: 01397cam 2200349Ii 4500
001 9922220600001661
005 20150423142832.0
008 110311s2011 gw a b 101 0 eng d
019 $a724658085
020 $a9783642197505 (pbk.)
020 $a3642197507 (pbk.)
035 $a(CSdNU)u486117-01national_inst
035 $a(OCoLC)707196711
035 $a(OCoLC)707196711
035 $a(OCoLC)707196711$z(OCoLC)724658085
040 $aOHX$cOHX$dYDXCP$dBTCTA$dUKMGB$dMUB
049 $aCNUM
050 14 $aQA76.9.F67$bI58 2011
111 2 $aFAST 2010$d(2010 :$cPisa, Italy)
245 10 $aFormal aspects of security and trust :$b7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers / $cPierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.).
260 $aBerlin :$bSpringer,$cc2011.
300 $ax, 238 p. :$bill ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v6561
500 $aInternational conference proceedings.
504 $aIncludes bibliographical references and author index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer security$vCongresses.
700 1 $aDegano, Pierpaolo,$d1950-
700 1 $aEtalle, Sandro.
700 1 $aGuttman, Joshua.
994 $aC0$bCNU
999 $aQA 76.9 .F67 I58 2011$wLC$c1$i31786102831044$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u5/16/2012