Filter

Verification

1,030 books found

Arms control
Arms control

by United States. General Accounting Office

1990 19 ed.
Reachability Problems
Reachability Problems

by Parosh Aziz Abdulla, Igor Potapov

2010 15 ed.
On-Site Inspection Agency
On-Site Inspection Agency

by United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.

1989 9 ed.
On-site inspections under the CFE treaty
On-site inspections under the CFE treaty

by Joseph P. Harahan

1996 8 ed.
U.S. costs of verification and compliance under pending arms treaties
U.S. costs of verification and compliance under pending arms...

by Michael E. O'Hanlon

1990 7 ed.
Verification 1995
Verification 1995

by J. B. Poole

1995 7 ed.
Verification
Verification

by Allan S. Krass

1985 7 ed.
Verification 1996
Verification 1996

by J. B. Poole, R. Guthrie

1996 7 ed.
Data flow analysis
Data flow analysis

by Uday Khedker, Amitabha Sanyal

2008 6 ed.
The UN inspections in Iraq
The UN inspections in Iraq

by Kathleen C. Bailey

1995 6 ed.
A brief history of the On-Site Inspection Agency
A brief history of the On-Site Inspection Agency

by David M. Willford

1995 6 ed.
Assertion-based design
Assertion-based design

by Harry Foster, Harry D. Foster

2003 6 ed.
Reconfigurable system design and verification
Reconfigurable system design and verification

by Pao-Ann Hsiung

2009 6 ed.
Listening for the Bomb
Listening for the Bomb

by Philip G. Schrag

2019 6 ed.
Challenges of Verification
Challenges of Verification

by Heinz Gaertner

1989 6 ed.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Verification of systems and circuits using LOTOS, Petri Nets...

by Michael Yoeli, Michael Yoeli

2008 6 ed.
Dismantling the Iraqi Nuclear Programme
Dismantling the Iraqi Nuclear Programme

by Gudrun Harrer

2013 6 ed.
Libya and Nuclear Proliferation
Libya and Nuclear Proliferation

by Wyn Q. Bowen

2006 6 ed.
Modeling in event-b
Modeling in event-b

by Jean-Raymond Abrial

2006 6 ed.
Practical design verification
Practical design verification

by Dhiraj K. Pradhan

2009 6 ed.