|
|
|
|
LEADER |
00000cam a22000004a 4500 |
001 |
b8034812 |
006 |
m o d |
007 |
cr ||||||||||| |
008 |
041119s2005 nyua ob 100 0 eng c |
005 |
20240418142229.8 |
019 |
|
|
|a 144515095
|a 209828941
|a 213361629
|a 213887324
|a 228378481
|a 320967748
|a 613624749
|a 647551753
|a 698450726
|a 880016543
|
020 |
|
|
|a 0387240500
|q (alk. paper)
|
020 |
|
|
|a 9780387240503
|q (alk. paper)
|
020 |
|
|
|a 0387240985
|q (electronic bk.)
|
020 |
|
|
|a 9780387240985
|q (electronic bk.)
|
035 |
|
|
|a (OCoLC)spr62706097
|
035 |
|
|
|a (OCoLC)62706097
|z (OCoLC)144515095
|z (OCoLC)209828941
|z (OCoLC)213361629
|z (OCoLC)213887324
|z (OCoLC)228378481
|z (OCoLC)320967748
|z (OCoLC)613624749
|z (OCoLC)647551753
|z (OCoLC)698450726
|z (OCoLC)880016543
|
037 |
|
|
|a spr10.1007/b104303
|
040 |
|
|
|a COO
|b eng
|e pn
|c COO
|d N$T
|d YDXCP
|d GW5XE
|d UAB
|d CNTRU
|d IDEBK
|d OCLCQ
|d OCLCF
|d BEDGE
|d OCLCO
|d OCLCQ
|d YNG
|d MND
|d E7B
|d SLY
|d OCL
|d OCLCO
|d EBLCP
|d NLGGC
|d OCLCO
|d OCLCQ
|d OCLCO
|
042 |
|
|
|a pcc
|
049 |
|
|
|a GWRE
|
050 |
|
4 |
|a QA76.9.A25
|b W666 2004
|
111 |
2 |
|
|a Workshop on Formal Aspects in Security and Trust
|n (2nd :
|d 2004 :
|c Toulouse, France)
|
245 |
1 |
0 |
|a Formal aspects in security and trust :
|b IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
|c edited by Theo Dimitrakos, Fabio Martinelli.
|
260 |
|
|
|a New York :
|b Springer Science,
|c ©2005.
|
300 |
|
|
|a 1 online resource (x, 246 pages) :
|b illustrations.
|
336 |
|
|
|a text
|b txt
|2 rdacontent.
|
337 |
|
|
|a computer
|b c
|2 rdamedia.
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
490 |
1 |
|
|a International Federation of Information Processing ;
|v 173.
|
504 |
|
|
|a Includes bibliographical references.
|
588 |
0 |
|
|a Print version record.
|
650 |
|
0 |
|a Computer security
|v Congresses.
|
650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|
650 |
|
0 |
|a Trust
|v Congresses.
|
650 |
|
7 |
|a Computer security.
|2 fast
|0 (OCoLC)fst00872484.
|
650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 (OCoLC)fst00932926.
|
650 |
|
7 |
|a Trust.
|2 fast
|0 (OCoLC)fst01158174.
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 (OCoLC)fst01423772.
|
700 |
1 |
|
|a Dimitrakos, Theo.
|
700 |
1 |
|
|a Martinelli, Fabio,
|d 1969-
|
711 |
2 |
|
|a IFIP World Computer Congress
|n (18th :
|d 2004 :
|c Toulouse, France)
|
776 |
0 |
8 |
|i Print version:
|a Workshop on Formal Aspects in Security and Trust (2nd : 2004 : Toulouse, France).
|t Formal aspects in security and trust.
|d New York : Springer Science, ©2005
|z 0387240500
|w (DLC) 2004065098
|w (OCoLC)57068335.
|
830 |
|
0 |
|a International Federation for Information Processing (Series) ;
|v 173.
|
856 |
4 |
0 |
|u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/b104303
|z Full Text (via Springer)
|
907 |
|
|
|a .b80348129
|b 07-02-19
|c 06-22-15
|
998 |
|
|
|a web
|b 05-01-17
|c f
|d b
|e -
|f eng
|g nyu
|h 0
|i 1
|
907 |
|
|
|a .b80348129
|b 05-09-17
|c 06-22-15
|
915 |
|
|
|a 4
|
956 |
|
|
|a Springer e-books
|
956 |
|
|
|b Springer Nature - Springer Computer Science eBooks 2005 English International
|
956 |
|
|
|b Springer Nature - Springer Computer Science eBooks 2005 English International
|
956 |
|
|
|b Springer Nature - Springer Computer Science eBooks 2005 English International
|
999 |
f |
f |
|i 5c8efdaf-e203-59b8-8782-3e2ae678a222
|s 7ee9bcde-fbc9-57f8-8c89-7c69c6f8d1c3
|
952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e QA76.9.A25 W666 2004
|h Library of Congress classification
|i Ebooks, Prospector
|n 1
|