Logics and languages for reliability and security

Guardado en:

Detalles Bibliográficos
Autores Corporativos:	Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Otros Autores:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Washington, D.C. : IOS Press, 2010.
Colección:	NATO science for peace and security series. Information and communication security ; v. 25.
Materias:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Acceso en línea:	An electronic book accessible through the World Wide Web; click to view
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet