Carregando...

Código QR (código de barras bidimensional)

Challenges of Verification: Smaller states and arms control

Detalhes bibliográficos
Autor principal:	Gaertner, Heinz
Formato:	Printed Book
Publicado em:	Colorado, West view press 1989
coleção:	Occasional paper series
Assuntos:	Arms control-verification Europe-Military Policy

Registros relacionados

Disarmament Forum Arms control verification /
Publicado em: (2010)

Foundation of program verification /
por: Loeckx, Jacques
Publicado em: (1983)

Program construction and verification /
por: Backhouse, Roland C .
Publicado em: (1986)

Arms control issues for the public
Publicado em: (1961)

Arms control: a survey and appraisal of multilateral agreements
Publicado em: (1978)

Validation and Verification techniques for
por: Saxena , P, Dr

Arms control: cooperative security in a changing environment /
Publicado em: (2005)

The future of arms control /
por: Levi, Michael A.
Publicado em: (2005)

Armed peace: the search for world security
por: Howe, Josephine O` Conner; Ed
Publicado em: (1984)

The Soviet challenge and the structure of European security
por: Macdonald, Hugh
Publicado em: (1990)

Conventional arms control and East-West security
por: Blackwill, Robert D; Editor, et al.
Publicado em: (1989)

Arms control : cooperative security in a changing environment /
Publicado em: (2005)

Arms control in transition: proceedings
por: Heekrotte, Warren, et al.
Publicado em: (1983)

Arms control in international politics /
por: Edwards, David V.
Publicado em: (1969)

Program construction and verification
por: Backhouse, Roland C; Author
Publicado em: (1986)

Protocol specification, testing and verification
por: Diaz, Michel
Publicado em: (1986)

Current trends in hardware verification and automated theorem proving
por: Current trends in
Publicado em: (1989)

India's military modernization : challenges and prospects
por: Basrur, Rajesh M.
Publicado em: (2015)

The Arms race and arms control 1984
Publicado em: (1984)

The Security trap :arms race, militarism and disarmament : a concern for Christians /
por: IDOC International
Publicado em: (1982)

Control of nuclear arms race: from Hiroshima to salt II
por: Bhandari, B K
Publicado em: (1984)

Arms aims and aspects /
por: General, J N.
Publicado em: (1966)

Arms build-up and development: linkages in the third world
por: Muni, S D
Publicado em: (1983)

Program verification using Ada
por: McGettrick, Andrew D; Author
Publicado em: (1982)

Verification of sequential and concurrent programs /
por: Gries, David .
Publicado em: (1991)

Arms and Armour
por: Wilkinson, Frederick
Publicado em: (1971)

World at arms
por: Weinberg Gerhard L

The Prophet Armed
por: Deutscher, Issac
Publicado em: (1954)

Space weapons: the arms control dilemma
por: Jasani, Bhupendra
Publicado em: (1984)

European security, nuclear weapons and public confidence
por: Gutteridge, William; Ed
Publicado em: (1982)

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
por: Yoeli, Michael
Publicado em: (2008)

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
por: Yoeli, Michael
Publicado em: (2008)

Governing the bomb: civilian control and democratic accountability of nuclear weapons
por: Born, Hans; Editor, et al.
Publicado em: (2010)

Strategic defensive arms & asian security.
por: Morozou,Vasili
Publicado em: (1988)

The international arms trade
por: Stohl,Rachel
Publicado em: (2009)

Reconfigurable system design and verification
por: Hsiung, Pao-Ann
Publicado em: (2009)

Confirmation and confirmability /
por: Schlesinger, G.
Publicado em: (1974)

The costs of the arms race.
por: Shishkov,Yuri
Publicado em: (1989)

The Arms Rules, 1962

A critique of arms /
por: Debray, Regis
Publicado em: (1974)