Opening book details…
About this book
Proliferation in All Its Aspects Post-1995 : the Verification Challenge and Response : Symposium Proceedings by J. Marshall Beier; Steven Mataija; York Centre for International and Strategic Studies; Ottawa Verification Symposium is a book available to read on EtoBox.
- Author
- J. Marshall Beier; Steven Mataija; York Centre for International and Strategic Studies; Ottawa Verification Symposium
- Publisher
- Toronto, Canada: Centre for International and Strategic Studies, York University
- Published
- 1995
- Language
- EN
- ISBN
- 9780920231203
- Subjects
- Military, Government_military
More by J. Marshall Beier; Steven Mataija; York Centre for International and Strategic Studies; Ottawa Verification Symposium
Similar books
- Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings — Franck Cassez and Jean-François Raskin (2014)
- Stacs 95: 12th Annual Symposium On Theoretical Aspects Of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings (lecture Notes In Computer Science) — Wolfgang Thomas (auth.), Ernst W. Mayr, Claude Puech (1995)
- Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings 1 — Étienne André , Jun Sun (2023)
- Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (2018)
- Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science, 7561) — Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (2012)
- STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings (Lecture Notes in Computer Science) — Julien Cassaigne (auth.), Afonso Ferreira, Horst Reichel (2001)