Arms control verification the technologies that make it possible Proceedings of the ...

Arms control verification the technologies that make it possible

Saved in:

Bibliographic Details
Corporate Author:	Conference on Arms Control Verification
Other Authors:	Tsipis, K., Hafemeister, D. W., Janeway, P.
Format:	Unknown
Published:	Washington Pergamon 1986
Subjects:	Nuclear arms control > Verification > Congresses Arms control > Verification > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Arms control law
Published: (2012)

East-West arms control challenges for the western alliance
Published: (1992)

A basis for arms control
by: Bellany, Ian
Published: (1991)

Decision making in arms control a case study of the national security council-interagency group system in the strategic arms limitation negotiations
by: Bellinger, Jr.John Bellinger
Published: (1980)

Arms control issues for the public
Published: (1961)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

SALT: the Moscow agreements and beyond.
by: Willrich, Mason
Published: (1974)

Arms control a guide to negotiations and agreements
by: Goldblat, Jozef
Published: (1994)

Systems and software verification model-checking techniques and tools
Published: (2001)

Commercial satellite imagery a tactic in nuclear weapon deterrence
Published: (2002)

Calculated risks a century of arms control, why it has failed, and how it can be made to work
by: Berkowitz, Bruce D. 1956-
Published: (1987)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Program verification
by: Francez, Nissim
Published: (1992)

Standardized functional verification
by: Wiemann, Alan
Published: (2008)

Principles of functional verification
by: Meyer, Andreas
Published: (2004)

Program verification fundamental issues in computer science
Published: (1993)

Arms control and cooperative security
Published: (2009)

Scientific computation with automatic result verification
Published: (1988)

Scientific computation with automatic result verification
Published: (1988)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

Hardware design verification simulation and formal method-based approaches
by: Lam, William K. C. 1962-
Published: (2005)

Functional verification coverage measurement and analysis
by: Piziali, Andrew
Published: (2004)

Reconfigurable system design and verification
by: Hsiung, Pao-Ann
Published: (2009)

Metric-driven design verification an engineer's and executive's guide to first pass success cHamilton B. Carter, Shankar Hemmady
by: Carter, Hamilton B.
Published: (2007)

Verification methodology manual for SystemVerilog
Published: (2006)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael 1917-
Published: (2008)

Towards nuclear zero
by: Cortright, David 1946-
Published: (2010)

An arms race in post-cold war Southeast Asia? prospects for control
by: Acharya, Amitav
Published: (1994)

Nuclear weapons and conflict transformation the case of India-Pakistan
by: Khan, Saira
Published: (2009)

Strategic defences and the future of the arms race a Pugwash Symposium
Published: (1987)

Commentaries on arms control treaties
by: Maslen, Stuart
Published: (2005)

The Profession of arms
by: Hacker, John
Published: (1983)

Verificationism its history and prospects
by: Misak, C. J. (Cheryl J)
Published: (1995)

South Asian security and international nuclear order creating a robust indo-Pakistan nuclear arms control regime
by: Carranza, Mario Esteban
Published: (2009)

Handbook of nuclear proliferation
Published: (2012)

My country and the world
by: Sakharov, Andrei D
Published: (1975)

Applied formal verification
by: Perry, Douglas L
Published: (2005)

March to Armageddon the United States and the Nuclear Arms Race, 1939 to the present
by: Powaski, Ronald E
Published: (1987)

The role and control of weapons in the 1990s
by: Barbaby, Frank
Published: (1992)