大葉大學圖書館 |

登入

回首頁

Formal aspects of security:first int...

AbdallahAli E.

Formal aspects of security:first international conference,FASec 2002,London,UK,...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal aspects of security:first international conference,FASec 2002,London,UK,.../ Abdallah,Ali E.;Ryan,Peter;Schneider,Steve
作者:	AbdallahAli E.
其他作者:	RyanPeter
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	238頁; 23x15公分
標題:	Computer security - Congresses
標題:	Formal methods (Computer scien
ISBN:	3540206930(平裝)

Formal aspects of security:first international conference,FASec 2002,London,UK,...
AbdallahAli E.

Formal aspects of security:first international conference,FASec 2002,London,UK,...Abdallah,Ali E.;Ryan,Peter;Schneider,Steve - 1st ed - BerlinSpringer-Verlag2003 - 238頁23x15公分 - Lecture Noter in Computer Science2629.

ISBN: 3540206930(平裝)Subjects--Topical Terms:

207594
Computer security - Congresses

Formal aspects of security:first international conference,FASec 2002,London,UK,...
LDR:00489nam 2200157 450 001 188769
008 100623t2003 de a a 000 0 eng d
020 $a 3540206930(平裝)
035 $a 9424366
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a AbdallahAli E. $3 211032
245 1 0 $a Formal aspects of security:first international conference,FASec 2002,London,UK,... $c Abdallah,Ali E.;Ryan,Peter;Schneider,Steve
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 238頁 $c 23x15公分
490 $a Lecture Noter in Computer Science $v 2629
650 $a Computer security - Congresses $3 207594
650 $a Formal methods (Computer scien $3 204364
700 $a RyanPeter $3 212020
700 $a SchneiderSteve $3 212021