Skip to content
pandatutor® Log in
Cover of Bibliography of arms control verification

Bibliography of arms control verification

by David Scrivener

1990 161 pages eng

Verification Arms control Bibliography
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Borrow to read

This scan is available through Internet Archive's free lending library — sign in or create a free account below, then borrow to read.

Reader not loading? Open it on Archive.org instead.

More like this

Model checking

Doron A. Peled, Orna Grumberg, Edmund M. Clarke Jr.

1999

Principles of model checking

Christel Baier

2008

Writing testbenches using System Verilog

Janick Bergeron

2006

The Poet's Handbook

Judson Jerome

1980

The hit

Jere R. Hoar

2002

The Age of Deception

Mohamed El Baradei

2012