Logics and languages for reliability and security

Saved in:

Bibliographic Details
Corporate Author:	NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany
Other Authors:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam IOS Press 2010.
Series:	NATO science for peace and security series. Information and communication security v. 24.
Subjects:	Computer security > Congresses. Computer logic > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!
Call Number :	QA76.76 .N38 2010

MARC


LEADER	00000nam a2200000 a 4500
001	44001
003	MY-KLNDU
005	20241219004238.0
008	110623s2010 ne a b 001 0 eng d
020			\|a 9781607500995
020			\|a 160750099X
020			\|a 9781607501008 (online)
039		9	\|a 201207191206 \|b shahrim \|y 201106231249 \|z rafizah
040			\|a UPNM
090			\|a QA76.76 \|b .N38 2010
111	2		\|a NATO Advanced Study Institute on Logics and Languages for Reliability and Security \|d (2009 \|c Marktoberdorf, Germany)
245	0	0	\|a Logics and languages for reliability and security \|c edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
260			\|a Amsterdam \|b IOS Press \|c 2010.
300			\|a ix, 325 p. \|b ill. \|c 25 cm.
490	1		\|a NATO science for peace and security series. D, Information and communication security \|x 1874-6268 \|v v. 24
504			\|a Includes bibiliographical reference and indexes.
592			\|a 00003751 \|b 12/07/2012 \|c RM646.31 \|h PDW
650		0	\|a Computer security \|v Congresses.
650		0	\|a Computer logic \|v Congresses.
700	1		\|a Esparza, Javier.
700	1		\|a Spanfelner, Bernd.
700	1		\|a Grumberg, Orna
830		0	\|a NATO science for peace and security series. \|n Sub-series D, \|p Information and communication security \|v v. 24.
999			\|a vtls000044374 \|c 44001 \|d 44001