Opening book details…
Can I read Formal Logical Methods For System Security And Correctness (nato Science For Peace And Security) on EtoBox?
Formal Logical Methods For System Security And Correctness (nato Science For Peace And Security) by Pfaller, Christian; Nipkow, Tobias; Grumberg, Orna is a book available to read on EtoBox.
What is Formal Logical Methods For System Security And Correctness (nato Science For Peace And Security) about?
ix, 318 p. : 25 cm "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso Includes bibliographical references and index
- Author
- Pfaller, Christian; Nipkow, Tobias; Grumberg, Orna
- Publisher
- Amsterdam, Netherlands ; Washington, DC: IOS Press
- Published
- 2008
- Language
- EN
- ISBN
- 9781435677883
- Subjects
- Computer Science, Stem
More by Pfaller, Christian; Nipkow, Tobias; Grumberg, Orna
Browse all works by Pfaller, Christian; Nipkow, Tobias; Grumberg, Orna
Similar books
- Mini-Micro Fuel Cells: Fundamentals and Applications (NATO Science for Peace and Security Series C: Environmental Security) (NATO Science for Peace and Security Series C: Environmental Security) — S. Kakaç; A. Pramuanjaroenkij; L. Vasiliev (2008)
- Environmental Security And Ecoterrorism: Environmental Security) (nato Science For Peace And Security Series C: Environmental Security) — Allan W. Shearer, P. H. Liotta (auth.), Hami Alpas, Simon M. Berkowicz, Irina Ermakova (2011)
- Security of Industrial Water Supply and Management (NATO Science for Peace and Security Series C: Environmental Security) — Jiří Jaromír Klemeš, Hon Loong Lam (auth.), Aysel T. Atimtay, Subhas K. Sikdar (2011)
- Water Purification And Management (nato Science For Peace And Security Series C: Environmental Security) — JOSÉ COCA, GEMMA GUTIÉRREZ, JOSÉM BENITO (auth.), José Coca-Prados, Gemma Gutiérrez-Cervelló (2011)
- Nuclear Power And Energy Security (nato Science For Peace And Security Series B: Physics And Biophysics) — Omoto Akira (auth.), Samuel A. Apikyan, David J. Diamond (2010)
- Plasma for Bio-Decontamination, Medicine and Food Security (NATO Science for Peace and Security Series A: Chemistry and Biology) — Klaus-Dieter Weltmann, Jörn Winter, Martin Polak, Jörg Ehlbeck, Thomas von Woedtke (auth.), Zdenko Machala, Karol Hensel, Yuri Akishev (2012)