Logics and languages for reliability and security

Uloženo v:

Podrobná bibliografie
Korporace:	Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Další autoři:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Washington, D.C. : IOS Press, 2010.
Edice:	NATO science for peace and security series. Information and communication security ; v. 25.
Témata:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
On-line přístup:	An electronic book accessible through the World Wide Web; click to view
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet