Logics and languages for reliability and security

Kaydedildi:

Detaylı Bibliyografya
Kurumsal yazarlar:	Technische Universitat Munchen (Germany), TECHNION. Israel Institute of Technology (Israel), ProQuest (Firm)
Diğer Yazarlar:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Washington, D.C. : IOS Press, 2010.
Seri Bilgileri:	NATO science for peace and security series. Information and communication security ; v. 25.
Konular:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Online Erişim:	Click to View
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

MARC


LEADER	00000nam a2200000 a 4500
001	EBC557042
003	MiAaPQ
005	20241107123627.0
006	m o d \|
007	cr cn\|\|\|\|\|\|\|\|\|
008	100111s2010 dcu o s 001 0 eng d
010			\|z 2010920423
020			\|z 9781607500995 (hardcover)
020			\|a 9781607501008 (electronic bk.)
035			\|a (MiAaPQ)EBC557042
035			\|a (Au-PeEL)EBL557042
035			\|a (CaPaEBR)ebr10403989
035			\|a (CaONFJC)MIL269267
035			\|a (OCoLC)647184853
040			\|a MiAaPQ \|c MiAaPQ \|d MiAaPQ
050		4	\|a QA76.7 \|b .L64
245	0	0	\|a Logics and languages for reliability and security \|h [electronic resource] / \|c [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
260			\|a Washington, D.C. : \|b IOS Press, \|c 2010.
300			\|a ix, 325 p. : \|b ill.
490	1		\|a NATO science for peace and security series. D, Information and communication security ; \|v v. 25
500			\|a Includes indexes.
533			\|a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	\|a Programming languages (Electronic computers)
650		0	\|a Languages, Artificial.
650		0	\|a Computers \|x Reliability.
650		0	\|a Computer security.
655		4	\|a Electronic books.
700	1		\|a Esparza, Javier.
700	1		\|a Spanfelner, Bernd.
700	1		\|a Grumberg, Orna.
710	2		\|a Technische Universitat Munchen (Germany)
710	2		\|a TECHNION. \|b Israel Institute of Technology (Israel)
710	2		\|a ProQuest (Firm)
830		0	\|a NATO science for peace and security series. \|n Sub-series D, \|p Information and communication security ; \|v v. 25.
856	4	0	\|u https://ebookcentral.proquest.com/lib/kaiptc/detail.action?docID=557042 \|z Click to View
942			\|c PQEBOOK
999			\|c 44367 \|d 44367