Explore: Verification
Discover books, insights, and more — all in one place.
Learn more about Verification with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “verification”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The Poet's Handbook
By Judson Jerome
“The Poet's Handbook” Metadata:
- Title: The Poet's Handbook
- Author: Judson Jerome
- Language: English
- Number of Pages: Median: 224
- Publisher: ➤ Writer's Digest Books - Writers Digest Books
- Publish Date: 1980 - 1986 - 2001
- Publish Location: Cincinnati, Ohio
“The Poet's Handbook” Subjects and Themes:
- Subjects: Authorship - Poetry - English language - Versification - Verification
Edition Identifiers:
- The Open Library ID: OL23255923M - OL4102725M - OL8272921M - OL8788795M
- Online Computer Library Center (OCLC) ID: 14388 - 87861211 - 6532132
- Library of Congress Control Number (LCCN): 80017270
- All ISBNs: ➤ 0898792193 - 9780898790214 - 0898790212 - 9780898792195 - 1582971366 - 9781582971360
Author's Alternative Names:
"Judson Jerome"Access and General Info:
- First Year Published: 1980
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The Poet's Handbook at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Arms control
By United States. General Accounting Office
“Arms control” Metadata:
- Title: Arms control
- Author: ➤ United States. General Accounting Office
- Language: English
- Number of Pages: Median: 35
- Publisher: ➤ The Office [distributor - The Office - U.S. General Accounting Office
- Publish Date: ➤ 1990 - 1991 - 1992 - 1994 - 2002
- Publish Location: ➤ [Washington, D.C.] - Gaithersburg, MD (P.O. Box 6015, Gaithersburg 20877) - Gaithersburg, MD (P.O. Box 6015, Gaithersburg 20884-6015) - Washington D.C - Washington, D.C
“Arms control” Subjects and Themes:
- Subjects: ➤ Chemical weapons disposal - Chemical arms control - Planning - Biological arms control - International cooperation - International Security - Nuclear arms control - Convention on the Prohibition of the Development, Production, Stockpiling, and Use of Chemical Weapons and on Their Destruction - Nuclear nonproliferation - Administration - Research - Military surveillance - Verification - Evaluation - Prevention - Bioterrorism - Arms control
- Places: United States - Russia - Russia (Federation)
Edition Identifiers:
- The Open Library ID: ➤ OL1186368M - OL15285667M - OL17098844M - OL17105837M - OL17461607M - OL17109139M - OL20396832M - OL14665552M - OL15362462M - OL16227383M - OL17678927M - OL1036071M - OL14683133M - OL14538526M - OL18053895M - OL18060225M - OL3746120M - OL18032059M - OL17113539M
- Online Computer Library Center (OCLC) ID: ➤ 3016520 - 51301837 - 32040078 - 29332639 - 25845177 - 27290166
- Library of Congress Control Number (LCCN): 2003426169 - 94176001 - 93231272
Author's Alternative Names:
"General Accountability Office (U.S.)", "U.S. General Accounting Office", "U.S. General Accounting Office.", "United States General Accounting Office.", "United States General Accounting Office ", "United States. General Accounting Office.", "United States. General of Accounting Office.", "General Accounting Office.", "General Accounting Office (U.S.)", "United States. General Accounting OFfice." and "U S. General Accounting Office",Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Arms control at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Reachability Problems
By Parosh Aziz Abdulla and Igor Potapov
“Reachability Problems” Metadata:
- Title: Reachability Problems
- Authors: Parosh Aziz AbdullaIgor Potapov
- Language: English
- Number of Pages: Median: 223
- Publisher: ➤ Springer International Publishing AG - Springer London, Limited - Springer
- Publish Date: ➤ 2010 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018 - 2019 - 2020 - 2021 - 2022
“Reachability Problems” Subjects and Themes:
- Subjects: ➤ Computer simulation - Computers - Decidability (mathematical logic) - Configurations - System theory - Operating systems (computers) - Computer science, mathematics - Computer systems - Congresses - Verification - Computer science - Mathematics - Engineering & Applied Sciences - Software engineering - Coding theory - Logic design - Computation by Abstract Devices - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages - Coding and Information Theory - Computer software - Algorithm Analysis and Problem Complexity
Edition Identifiers:
- The Open Library ID: ➤ OL36254594M - OL28233759M - OL34526611M - OL37140741M - OL28095689M - OL35587160M - OL30525375M - OL28324903M - OL28172216M - OL34520371M - OL28121189M - OL39956254M - OL28117141M - OL34520714M - OL28266329M
- All ISBNs: ➤ 9783319114385 - 9783031191343 - 303119134X - 9783319459936 - 3642153496 - 9783319114392 - 9783030002497 - 9783642153495 - 3642410367 - 9783030308056 - 9783642410376 - 9783642410352 - 9783642410369 - 3319245368 - 3642410359 - 3030308057 - 3319459937 - 3319114387 - 3319670883 - 9783319670881 - 3319114395 - 3030002497 - 3030617386 - 9783030897154 - 9783319245362 - 9783319245379 - 3319245376 - 9783030617387 - 3642410375 - 303089715X
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Reachability Problems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Specification by example
By Gojko Adzic
“Specification by example” Metadata:
- Title: Specification by example
- Author: Gojko Adzic
- Language: English
- Number of Pages: Median: 270
- Publisher: ➤ Manning - Manning Publications Co. LLC
- Publish Date: 2011
- Publish Location: Shelter Island, N.Y
“Specification by example” Subjects and Themes:
- Subjects: ➤ Development - Software compatibility - Validation - Verification - Testing - Computer software - Computer software, development - Computer software, validation - Case studies
Edition Identifiers:
- The Open Library ID: OL34983294M - OL25172470M
- Online Computer Library Center (OCLC) ID: 694395409 - 772189834
- Library of Congress Control Number (LCCN): 2011499864
- All ISBNs: 1638351368 - 9781638351368 - 9781617290084 - 1617290084
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Specification by example at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5SystemVerilog for Verification
By Chris Spear
“SystemVerilog for Verification” Metadata:
- Title: SystemVerilog for Verification
- Author: Chris Spear
- Language: English
- Number of Pages: Median: 510
- Publisher: Springer - Springer US
- Publish Date: 2006 - 2012
- Publish Location: Boston, MA
“SystemVerilog for Verification” Subjects and Themes:
- Subjects: ➤ Systems engineering - Circuits and Systems - Computer input-output equipment - Computers - Engineering - Computer-Aided Engineering (CAD, CAE) and Design - Computer engineering - Computer-aided design - Electrical engineering - Verification - Integrated circuits - SystemVerilog (Computer hardware description language) - Verilog (computer hardware description language) - Object-oriented programming (computer science) - Computer hardware description languages - Object-oriented programming (Computer science) - Ingénierie
Edition Identifiers:
- The Open Library ID: OL37142008M - OL37096198M - OL27969385M - OL27090662M
- Library of Congress Control Number (LCCN): 2011945681
- All ISBNs: ➤ 9781461407164 - 146140715X - 1461407141 - 9780387270388 - 9781461407157 - 1461407168 - 9781461407140 - 0387270388
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find SystemVerilog for Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6On-Site Inspection Agency
By United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.
“On-Site Inspection Agency” Metadata:
- Title: On-Site Inspection Agency
- Author: ➤ United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.
- Language: English
- Number of Pages: Median: 124
- Publisher: ➤ For sale by the Supt. of Docs., Congressional Sales Office, U.S. G.P.O. - U.S. G.P.O. - For sale by the U.S. G.P.O., Supt. of Docs., Congressional Sales Office
- Publish Date: 1989 - 1991
- Publish Location: Washington
“On-Site Inspection Agency” Subjects and Themes:
- Subjects: ➤ Nuclear arms control - United States - United States. On-Site Inspection Agency - Verification - On-site inspection - Intermediate-range ballistic missiles - Disarmament
- Places: Europe - Soviet Union - United States
Edition Identifiers:
- The Open Library ID: ➤ OL1812136M - OL14953965M - OL17988605M - OL1314649M - OL14289214M - OL18050006M - OL16780570M - OL17091624M - OL15349548M
- Online Computer Library Center (OCLC) ID: 24675727
- Library of Congress Control Number (LCCN): 92186833 - 89601678
- All ISBNs: 9780160355172 - 0160355176
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find On-Site Inspection Agency at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Model checking
By Edmund M. Clarke Jr., Orna Grumberg and Doron A. Peled
“Model checking” Metadata:
- Title: Model checking
- Authors: Edmund M. Clarke Jr.Orna GrumbergDoron A. Peled
- Language: English
- Number of Pages: Median: 377
- Publisher: The MIT Press - MIT Press
- Publish Date: 1999 - 2018
“Model checking” Subjects and Themes:
- Subjects: ➤ Datenverarbeitungssystem - Computersystemen - Engenharia de software - Modellen - Verificação e validação de software - Vérification - Model Checking - Verification - Logiciels - Computer systems - Verificatie - Operating systems (computers) - Computer software, verification - COMPUTERS - Software Development & Engineering - Systems Analysis & Design - Modellen (theorie) - Engineering & Applied Sciences - Computer Science - Sat (educational test) - Models and modelmaking
Edition Identifiers:
- The Open Library ID: OL29803635M - OL53279753M - OL9769008M - OL27372221M - OL29709655M
- Online Computer Library Center (OCLC) ID: 1030446194 - 49568935 - 40675218
- Library of Congress Control Number (LCCN): 99017979 - 2018014965
- All ISBNs: ➤ 0585385580 - 0262270455 - 0262032708 - 9780262032704 - 0262349442 - 9780262038836 - 9780585385587 - 0262038838 - 9780262270458 - 9780262349444
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model checking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Verification 1995
By J. B. Poole
“Verification 1995” Metadata:
- Title: Verification 1995
- Author: J. B. Poole
- Language: English
- Number of Pages: Median: 411
- Publisher: ➤ Taylor & Francis Group - Brand: Westview Pr (Short Disc) - Westview Press
- Publish Date: 1995 - 2019 - 2020
“Verification 1995” Subjects and Themes:
- Subjects: ➤ Arms control - Verification - International Environmental law - International police - Armements - Contrôle - Vérification - Police internationale - POLITICAL SCIENCE - General
Edition Identifiers:
- The Open Library ID: ➤ OL33711370M - OL39266441M - OL11349531M - OL39265866M - OL39228417M - OL34658403M - OL36748305M
- Online Computer Library Center (OCLC) ID: 1120691216 - 34099212
- All ISBNs: ➤ 9780813389455 - 0367212846 - 9780429266928 - 9780367212841 - 0367215659 - 0813389453 - 0429266928 - 9781000010350 - 9780367215651 - 9781000016871 - 100001035X - 1000016870 - 9781000003512 - 1000003515
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification 1995 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Verification 1996
By J. B. Poole and R. Guthrie
“Verification 1996” Metadata:
- Title: Verification 1996
- Authors: J. B. PooleR. Guthrie
- Language: English
- Number of Pages: Median: 480
- Publisher: ➤ Westview Press - Taylor & Francis Group
- Publish Date: 1996 - 2019 - 2020
“Verification 1996” Subjects and Themes:
- Subjects: ➤ Arms control - United nations, armed forces - Environmental monitoring - Verification - Armements - Contrôle - Vérification - POLITICAL SCIENCE - General
Edition Identifiers:
- The Open Library ID: ➤ OL34671157M - OL33695663M - OL54029170M - OL11349533M - OL54037371M - OL36753906M - OL36699628M
- Online Computer Library Center (OCLC) ID: 1120692026
- All ISBNs: ➤ 0813390052 - 0367212854 - 1000002489 - 9780429266935 - 9780367215668 - 9780813390055 - 100001584X - 0429266936 - 9781000015843 - 9780367212858 - 0367215667 - 9781000002485 - 9781000009323 - 1000009327
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification 1996 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10U.S. costs of verification and compliance under pending arms treaties
By Michael E. O'Hanlon
“U.S. costs of verification and compliance under pending arms treaties” Metadata:
- Title: ➤ U.S. costs of verification and compliance under pending arms treaties
- Author: Michael E. O'Hanlon
- Language: English
- Number of Pages: Median: 69
- Publisher: ➤ Congress of the U.S., Congressional Budget Office
- Publish Date: 1990
- Publish Location: Washington, D.C
“U.S. costs of verification and compliance under pending arms treaties” Subjects and Themes:
- Subjects: Arms control - Nuclear nonproliferation - Nuclear arms control - Verification - Costs
- Places: United States
Edition Identifiers:
- The Open Library ID: ➤ OL18030476M - OL16854033M - OL15279624M - OL22427497M - OL17958759M - OL1987080M - OL13613061M
- Online Computer Library Center (OCLC) ID: 22611813
- Library of Congress Control Number (LCCN): 90602464
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find U.S. costs of verification and compliance under pending arms treaties at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Verification
By Allan S. Krass
“Verification” Metadata:
- Title: Verification
- Author: Allan S. Krass
- Language: English
- Number of Pages: Median: 282
- Publisher: ➤ Taylor & Francis Group - Lexington Books - Routledge, Chapman & Hall, Incorporated
- Publish Date: 1985 - 2020 - 2022
- Publish Location: Lexington, Mass
“Verification” Subjects and Themes:
- Subjects: ➤ Verification - Nuclear arms control - Arms control - Armements - Contrôle - Vérification - Armes nucléaires - POLITICAL SCIENCE - General
Edition Identifiers:
- The Open Library ID: ➤ OL34675730M - OL21586864M - OL29519036M - OL29518923M - OL29519328M - OL39052763M - OL29518839M
- Online Computer Library Center (OCLC) ID: 1222941317
- All ISBNs: ➤ 9781000200621 - 1000200698 - 0669131512 - 9781000200690 - 1000200558 - 036752340X - 1000200620 - 9780367523442 - 0367523442 - 9780669131512 - 9781000200553 - 9781003057529 - 9780367523404 - 1003057527
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Modeling in event-b
By Jean-Raymond Abrial
“Modeling in event-b” Metadata:
- Title: Modeling in event-b
- Author: Jean-Raymond Abrial
- Language: English
- Number of Pages: Median: 599
- Publisher: Cambridge University Press
- Publish Date: 2006 - 2010 - 2013
- Publish Location: New York
“Modeling in event-b” Subjects and Themes:
- Subjects: ➤ B method (Computer science) - Verification - Computer systems - Mathematical models - Formal methods (Computer science) - Computer science - System design - Computer software, development
Edition Identifiers:
- The Open Library ID: ➤ OL24039831M - OL40470002M - OL53944946M - OL40567058M - OL40507162M - OL34485375M
- Online Computer Library Center (OCLC) ID: 496958975 - 857723265
- Library of Congress Control Number (LCCN): 2010001382
- All ISBNs: ➤ 0511727860 - 1139195883 - 9780521895569 - 0511731221 - 9780511731228 - 9781139195881 - 9780511726477 - 0521895561 - 9781282631434 - 0511726473 - 9780511727863 - 1282631438
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modeling in event-b at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Principles of model checking
By Christel Baier
“Principles of model checking” Metadata:
- Title: Principles of model checking
- Author: Christel Baier
- Language: English
- Number of Pages: Median: 984
- Publisher: The MIT Press - MIT Press
- Publish Date: 2008
“Principles of model checking” Subjects and Themes:
- Subjects: ➤ Computer systems - Verification - Computer software - Systems software - Computer software, verification - Quality control & testing - programming - General & miscellaneous computing
Edition Identifiers:
- The Open Library ID: OL29731128M - OL53275787M - OL29755804M - OL29594192M - OL10236810M
- Online Computer Library Center (OCLC) ID: 171152628
- Library of Congress Control Number (LCCN): 2007037603
- All ISBNs: ➤ 1435643275 - 0262304031 - 026226756X - 026202649X - 9780262304030 - 9780262026499 - 026233304X - 9780262333047 - 9781435643277 - 9780262267564
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Principles of model checking at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Data flow analysis
By Uday Khedker, Amitabha Sanyal and Bageshri Karkare
“Data flow analysis” Metadata:
- Title: Data flow analysis
- Authors: Uday KhedkerAmitabha SanyalBageshri Karkare
- Language: English
- Number of Pages: Median: 395
- Publisher: Taylor & Francis Group - CRC
- Publish Date: 2008 - 2009 - 2017
“Data flow analysis” Subjects and Themes:
- Subjects: ➤ Computer software - Compilers (Computer programs) - Verification - Software engineering - Data flow computing - Computer programming - Compilateurs (Logiciels) - Flux de données (Informatique) - Génie logiciel - Logiciels - Vérification - COMPUTERS - Systems Architecture - Distributed Systems & Computing
Edition Identifiers:
- The Open Library ID: ➤ OL34594190M - OL33792566M - OL33749360M - OL33647417M - OL33544724M - OL11559604M
- Online Computer Library Center (OCLC) ID: 300030552 - 449661968
- Library of Congress Control Number (LCCN): 2009002056
- All ISBNs: ➤ 1322627509 - 1351838237 - 1315222345 - 1351829548 - 9781315222349 - 9781322627502 - 9781351838238 - 9781351829540 - 0849328802 - 9780849328800 - 9780849332517 - 0849332516
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Data flow analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15A practical guide to adopting the Universal Verification Methodology (UVM)
By Sharon Rosenberg
“A practical guide to adopting the Universal Verification Methodology (UVM)” Metadata:
- Title: ➤ A practical guide to adopting the Universal Verification Methodology (UVM)
- Author: Sharon Rosenberg
- Language: English
- Number of Pages: Median: 275
- Publisher: Cadence Design Systems
- Publish Date: 2010
- Publish Location: San Jose, CA
“A practical guide to adopting the Universal Verification Methodology (UVM)” Subjects and Themes:
- Subjects: Debugging in computer science - Computer software - Verification - Computer programs
Edition Identifiers:
- The Open Library ID: OL25540922M
- Online Computer Library Center (OCLC) ID: 695937121
- All ISBNs: 9780578059556 - 057805955X - 9780578059956
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A practical guide to adopting the Universal Verification Methodology (UVM) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Endgame
By Scott Ritter
“Endgame” Metadata:
- Title: Endgame
- Author: Scott Ritter
- Language: English
- Number of Pages: Median: 256
- Publisher: ➤ Diane Pub Co - Simon & Schuster - Simon & Schuster Audio
- Publish Date: 1999 - 2002 - 2004
“Endgame” Subjects and Themes:
- Subjects: ➤ Weapons of mass destruction - Relations - Arms control - Verification - Security, international - Iraq, politics and government - Iraq, foreign relations
Edition Identifiers:
- The Open Library ID: ➤ OL7928305M - OL9819666M - OL9754691M - OL7722648M - OL7952569M - OL9366077M
- Online Computer Library Center (OCLC) ID: 40869801 - 51609146 - 228089515 - 50995433 - 149224897
- Library of Congress Control Number (LCCN): 99021736
- All ISBNs: ➤ 074352991X - 0671045024 - 9780684864853 - 9780743529914 - 0788199404 - 9780756776596 - 0684864851 - 9780743247726 - 9780671045029 - 0756776597 - 9780788199400 - 0743247728
First Setence:
"THE JOB I resigned from on August 26, 1998, was the best job I ever had, and may ever have."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Endgame at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Dismantling the Iraqi Nuclear Programme
By Gudrun Harrer
“Dismantling the Iraqi Nuclear Programme” Metadata:
- Title: ➤ Dismantling the Iraqi Nuclear Programme
- Author: Gudrun Harrer
- Language: English
- Number of Pages: Median: 296
- Publisher: ➤ Routledge - Taylor & Francis Group
- Publish Date: 2013 - 2014
“Dismantling the Iraqi Nuclear Programme” Subjects and Themes:
- Subjects: ➤ International atomic energy agency - Nuclear arms control - Nuclear disarmament - Iraq, politics and government - Nuclear weapons - Nuclear facilities - Inspection - Verification - Disarmament - On-site inspection - HISTORY / Middle East / General - POLITICAL SCIENCE / International Relations / Arms Control - POLITICAL SCIENCE / Political Freedom & Security / International Security - Armes nucléaires - Installations nucléaires - Contrôle - Vérification - Désarmement - Inspection sur place - HISTORY - General - POLITICAL SCIENCE - International Relations - Arms Control - Political Freedom & Security - International Security - Government - International - IAEA - Facilities - Nuclear energy - Nuclear reactors
Edition Identifiers:
- The Open Library ID: ➤ OL35796777M - OL53920772M - OL28767490M - OL54054516M - OL46043158M - OL35832062M
- Online Computer Library Center (OCLC) ID: 875894439 - 858914298
- Library of Congress Control Number (LCCN): 2013027541
- All ISBNs: ➤ 1134115644 - 9780415828390 - 1134115504 - 9781134115570 - 9781134115501 - 9781306570848 - 0203628691 - 9780203628690 - 9781134115648 - 1134115571 - 1306570840 - 0415828392
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Dismantling the Iraqi Nuclear Programme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Libya and Nuclear Proliferation
By Wyn Q. Bowen
“Libya and Nuclear Proliferation” Metadata:
- Title: ➤ Libya and Nuclear Proliferation
- Author: Wyn Q. Bowen
- Language: English
- Number of Pages: Median: 108
- Publisher: ➤ Taylor & Francis Group - Routledge
- Publish Date: 2006 - 2017
“Libya and Nuclear Proliferation” Subjects and Themes:
- Subjects: ➤ Nuclear weapons - Nuclear nonproliferation - Nuclear arms control - Verification - Foreign relations - United states, foreign relations, libya - Libya, foreign relations - Great britain, foreign relations, africa - Armes nucléaires - Non-prolifération nucléaire - Contrôle - Vérification - Relations extérieures - HISTORY - Military - Other - TECHNOLOGY & ENGINEERING - Military Science - Diplomatic relations - Kernwaffe - Sicherheitspolitik - Rüstungspolitik - Außenpolitik - Rüstungsbegrenzung - Proliferation - Veiligheidspolitiek - Buitenlandse politiek - Proliferatie (kernwapens)
Edition Identifiers:
- The Open Library ID: ➤ OL53258004M - OL33646720M - OL35815142M - OL35815141M - OL7494760M - OL53971457M
- Online Computer Library Center (OCLC) ID: 1005586737 - 69665570
- Library of Congress Control Number (LCCN): 2006361361
- All ISBNs: ➤ 1351225529 - 1138452122 - 9780415412384 - 1351225545 - 0415412382 - 9781351225540 - 9781351225526 - 9781351225533 - 1351225510 - 1351225537 - 9781138452121 - 9781351225519
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Libya and Nuclear Proliferation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19The UN inspections in Iraq
By Kathleen C. Bailey
“The UN inspections in Iraq” Metadata:
- Title: The UN inspections in Iraq
- Author: Kathleen C. Bailey
- Language: English
- Number of Pages: Median: 151
- Publisher: ➤ Westview Press - Taylor & Francis Group
- Publish Date: 1995 - 2019
- Publish Location: Boulder
“The UN inspections in Iraq” Subjects and Themes:
- Subjects: ➤ Arms control - Verification - Iraq - Armements - Contrôle - Vérification - POLITICAL SCIENCE - General
- Places: Iraq
Edition Identifiers:
- The Open Library ID: ➤ OL36756894M - OL1276014M - OL40084082M - OL33729680M - OL40067416M - OL36756893M
- Online Computer Library Center (OCLC) ID: 32199545 - 1107880673
- Library of Congress Control Number (LCCN): 95007621
- All ISBNs: ➤ 9780429315626 - 0429315627 - 9781000270730 - 9781000234794 - 1000270734 - 1000234797 - 036729687X - 9781000306675 - 9780367296872 - 9780813389257 - 0813389259 - 1000306674
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The UN inspections in Iraq at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Challenges of Verification
By Heinz Gaertner
“Challenges of Verification” Metadata:
- Title: Challenges of Verification
- Author: Heinz Gaertner
- Language: English
- Number of Pages: Median: 94
- Publisher: Taylor & Francis Group
- Publish Date: 1989 - 2019
“Challenges of Verification” Subjects and Themes:
- Subjects: ➤ Arms control - Developing countries, military policy - Verification - Military policy - Small States - Armements - Contrôle - Vérification - Politique militaire - Petits États - POLITICAL SCIENCE - Government - International - International Relations - General
Edition Identifiers:
- The Open Library ID: ➤ OL33341936M - OL33664465M - OL36753597M - OL40091518M - OL36756445M - OL40070793M
- Online Computer Library Center (OCLC) ID: 1102071189
- All ISBNs: ➤ 9780429733987 - 9780429693960 - 9780367013462 - 9780429713972 - 0429713975 - 0813377986 - 0429733984 - 9780429043321 - 0429693966 - 0367013460 - 0429043325 - 9780813377988
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Challenges of Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Listening for the Bomb
By Philip G. Schrag
“Listening for the Bomb” Metadata:
- Title: Listening for the Bomb
- Author: Philip G. Schrag
- Language: English
- Number of Pages: Median: 152
- Publisher: Taylor & Francis Group
- Publish Date: 2019 - 2021
“Listening for the Bomb” Subjects and Themes:
- Subjects: ➤ Nuclear arms control - Verification - Military relations - Military policy - Armes nucléaires - Contrôle - Vérification - Relations militaires - Natural Resources Defense Council
Edition Identifiers:
- The Open Library ID: ➤ OL35551871M - OL35555882M - OL35545880M - OL33916279M - OL35545863M - OL33713908M
- Online Computer Library Center (OCLC) ID: 1112671675
- All ISBNs: ➤ 9780429042508 - 9780367162511 - 042969363X - 9780429713644 - 0367012642 - 0429042507 - 9780429733659 - 0429713649 - 0429733658 - 0367162512 - 9780429693632 - 9780367012649
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Listening for the Bomb at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Writing testbenches using System Verilog
By Janick Bergeron
“Writing testbenches using System Verilog” Metadata:
- Title: ➤ Writing testbenches using System Verilog
- Author: Janick Bergeron
- Language: English
- Number of Pages: Median: 426
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2006 - 2007 - 2010
“Writing testbenches using System Verilog” Subjects and Themes:
- Subjects: ➤ Computer hardware description languages - Integrated circuits - Verification - Systems engineering - System safety - Engineering - Computer-aided design - Computer engineering - Verilog (computer hardware description language) - Computers & the internet - Cad-cam
Edition Identifiers:
- The Open Library ID: OL7445154M - OL28115822M - OL35753540M
- Library of Congress Control Number (LCCN): 2005938214
- All ISBNs: ➤ 1441939784 - 0387292217 - 9780387312750 - 9780387292212 - 0387312757 - 9781441939784
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Writing testbenches using System Verilog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Assertion-based design
By Harry Foster, Harry D. Foster, Adam C. Krolnik and David J. Lacey
“Assertion-based design” Metadata:
- Title: Assertion-based design
- Authors: Harry FosterHarry D. FosterAdam C. KrolnikDavid J. Lacey
- Language: English
- Number of Pages: Median: 390
- Publisher: ➤ Kluwer Academic Publishers - Springer - Kluwer Academic
- Publish Date: 2003 - 2004 - 2010 - 2011
- Publish Location: Boston - Boston, MA
“Assertion-based design” Subjects and Themes:
- Subjects: ➤ Integrated circuits - Very large scale integration - Verification - Verilog (Computer hardware description language) - Design and construction - General Theory of Computing - Logic Design - Technology - Computers - General Information - Verilog (Computer hardware des - Science/Mathematics - Technology / Electronics / Circuits / General - Electronics - General - Integrated circuits, very large scale integration - Verilog (computer hardware description language)
Edition Identifiers:
- The Open Library ID: ➤ OL30519385M - OL28117564M - OL8372984M - OL19150805M - OL19291392M - OL19290163M
- Online Computer Library Center (OCLC) ID: 55044444
- Library of Congress Control Number (LCCN): 2004042136 - 2003052177
- All ISBNs: ➤ 9781402080289 - 1402080271 - 1441954627 - 1402074980 - 9781402074981 - 9781402080272 - 140208028X - 9781441992291 - 1441992294 - 9781441954626
First Setence:
"Ensuring functional correctness on RTL designs continues to pose one of the greatest challenges for today's ASIC and SoC design teams."
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Assertion-based design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Practical design verification
By Dhiraj K. Pradhan
“Practical design verification” Metadata:
- Title: Practical design verification
- Author: Dhiraj K. Pradhan
- Language: English
- Number of Pages: Median: 276
- Publisher: Cambridge University Press
- Publish Date: 2009 - 2010 - 2012
- Publish Location: New York
“Practical design verification” Subjects and Themes:
- Subjects: Verification - Integrated circuits
Edition Identifiers:
- The Open Library ID: ➤ OL53940562M - OL40676282M - OL40495215M - OL40494205M - OL34478566M - OL22685981M
- Library of Congress Control Number (LCCN): 2008050653
- All ISBNs: ➤ 9780511579325 - 0511626916 - 0511580061 - 9780511580062 - 9780521859721 - 9780511626913 - 0511577486 - 0511579322 - 0521859727 - 1282391240 - 9781282391246 - 9780511577482
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Practical design verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Reconfigurable system design and verification
By Pao-Ann Hsiung
“Reconfigurable system design and verification” Metadata:
- Title: ➤ Reconfigurable system design and verification
- Author: Pao-Ann Hsiung
- Language: English
- Number of Pages: Median: 268
- Publisher: ➤ Taylor & Francis Group - CRC Press
- Publish Date: 2009 - 2018
- Publish Location: Boca Raton, Fla
“Reconfigurable system design and verification” Subjects and Themes:
- Subjects: Computer systems - Embedded computer systems - System design - Verification
Edition Identifiers:
- The Open Library ID: ➤ OL34592978M - OL33741176M - OL33693591M - OL33661685M - OL33553739M - OL22653239M
- Library of Congress Control Number (LCCN): 2008044105
- All ISBNs: ➤ 9781351826235 - 9781322628851 - 1322628858 - 1351826239 - 9781420062663 - 1315219034 - 9781351834926 - 9781315219035 - 1420062662 - 1351834924 - 9781420062670 - 1420062670
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Reconfigurable system design and verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By Michael Yoeli, Michael Yoeli and Rakefet Kol
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Authors: Michael YoeliMichael YoeliRakefet Kol
- Language: English
- Number of Pages: Median: 248
- Publisher: ➤ John Wiley & Sons - Wiley & Sons Canada, Limited, John - Wiley-Interscience - Wiley & Sons, Incorporated, John
- Publish Date: 2008 - 2010
- Publish Location: Hoboken, N.J
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Subjects and Themes:
- Subjects: ➤ Verification - Petri nets - Computer software - LOTOS (Computer program language) - Integrated circuits - Software engineering - Computers - Technology & Industrial Arts - Computer Books: General - Electronics - Circuits - General - Computers / Computer Engineering - Computer Engineering - Parallel programming (computer science) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: ➤ OL48629669M - OL48206747M - OL29230033M - OL28994374M - OL10334685M - OL18339450M
- Online Computer Library Center (OCLC) ID: 840427830
- Library of Congress Control Number (LCCN): 2007033487
- All ISBNs: ➤ 9780470253397 - 9781281284679 - 9780471704492 - 0470653574 - 0470253398 - 9780470653579 - 047025341X - 9780470253410 - 0471704490 - 128128467X
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification of systems and circuits using LOTOS, Petri Nets, and CCS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Disarming Iraq
By Hans Blix
“Disarming Iraq” Metadata:
- Title: Disarming Iraq
- Author: Hans Blix
- Language: English
- Number of Pages: Median: 304
- Publisher: ➤ Bloomsbury Publishing PLC - Knopf Doubleday Publishing Group - Bloomsbury - Pantheon
- Publish Date: 2004 - 2005
- Publish Location: New York
“Disarming Iraq” Subjects and Themes:
- Subjects: ➤ Current Events - History - Nonfiction - Weapons of mass destruction - Iraq War, 2003-2011 - United Nations - Arms control - Verification - Iraq war, 2003-2011 - Disarmament - Causes - War
Edition Identifiers:
- The Open Library ID: OL7962601M - OL9532613M - OL7425562M - OL7962602M - OL24248957M
- Online Computer Library Center (OCLC) ID: 61829488
- All ISBNs: ➤ 0747573549 - 074757359X - 9780747573593 - 0747573581 - 9780747573586 - 9780375423239 - 0375423230 - 0375423028 - 9780747573548 - 9780375423024
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Disarming Iraq at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28On-site inspection for arms control
By Richard L. Shearer
“On-site inspection for arms control” Metadata:
- Title: ➤ On-site inspection for arms control
- Author: Richard L. Shearer
- Language: English
- Number of Pages: Median: 69
- Publisher: ➤ Supt. of Docs., U.S. G.P.O., [distributor] - National Defense University - National Defense University, Fort Lesley J. McNair
- Publish Date: 1984
- Publish Location: ➤ Washington, DC - Fort Lesley J. McNair, Washington, DC
“On-site inspection for arms control” Subjects and Themes:
- Subjects: Arms control - Nuclear arms control - Verification
Edition Identifiers:
- The Open Library ID: OL22436386M - OL17665647M - OL3001148M - OL13608073M - OL18039558M
- Online Computer Library Center (OCLC) ID: 11383118 - 13559457
- Library of Congress Control Number (LCCN): 84603716
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find On-site inspection for arms control at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Chemical Weapons Convention Chemicals Analysis
By Markku Mesilaakso
“Chemical Weapons Convention Chemicals Analysis” Metadata:
- Title: ➤ Chemical Weapons Convention Chemicals Analysis
- Author: Markku Mesilaakso
- Language: English
- Number of Pages: Median: 476
- Publisher: ➤ Wiley & Sons, Incorporated, John - Wiley - Wiley & Sons Australia, Limited, John
- Publish Date: 2005 - 2006 - 2007
“Chemical Weapons Convention Chemicals Analysis” Subjects and Themes:
- Subjects: ➤ Chemical arms control - Verification - Analytic Chemistry - Convention on the Prohibition of the Development, Production, Stockpiling, and Use of Chemical Weapons and on Their Destruction - Chemistry, analytic - Analytical chemistry
Edition Identifiers:
- The Open Library ID: OL39898003M - OL28972603M - OL29112254M - OL33367832M - OL7597900M
- Online Computer Library Center (OCLC) ID: 56438309
- Library of Congress Control Number (LCCN): 2004027309
- All ISBNs: ➤ 9780470847565 - 9780470854259 - 9780470340325 - 0470847565 - 9781280287749 - 0470854251 - 9780470012284 - 1280287748 - 0470340320 - 0470012285
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Chemical Weapons Convention Chemicals Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Strategic Disarmament, Verification and National Security
By Stockholm International Stockholm International Peace Research Institute
“Strategic Disarmament, Verification and National Security” Metadata:
- Title: ➤ Strategic Disarmament, Verification and National Security
- Author: ➤ Stockholm International Stockholm International Peace Research Institute
- Language: English
- Number of Pages: Median: 186
- Publisher: Taylor & Francis Group
- Publish Date: 2020
“Strategic Disarmament, Verification and National Security” Subjects and Themes:
- Subjects: ➤ Nuclear arms control - Verification - Arms control - Armes nucléaires - Contrôle - Vérification - Armements - POLITICAL SCIENCE / General
Edition Identifiers:
- The Open Library ID: OL29518665M - OL34675647M - OL29519144M - OL29519182M - OL29518795M
- Online Computer Library Center (OCLC) ID: 1200027524
- All ISBNs: ➤ 1000200485 - 9781003052739 - 9780367511616 - 1000200388 - 9781000200485 - 0367511614 - 9781000200430 - 9781000200386 - 1003052738 - 1000200434
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Strategic Disarmament, Verification and National Security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Data refinement
By W.-P. de Roever, Willem-Paul de Roever and Kai Engelhardt
“Data refinement” Metadata:
- Title: Data refinement
- Authors: W.-P. de RoeverWillem-Paul de RoeverKai Engelhardt
- Language: English
- Number of Pages: Median: 429
- Publisher: Cambridge University Press
- Publish Date: 1998 - 2001 - 2010 - 2011
- Publish Location: Cambridge, UK - New York, NY
“Data refinement” Subjects and Themes:
- Subjects: ➤ Computer simulation - Verification - Data structures (Computer science) - Computer programs - Databases & data structures - Mathematical theory of computation - Science/Mathematics - Data Structures - Computers - Computers - General Information - Networking - General - Database Management - General - Data structures (Computer scie - Computer Science - System Theory - Computers / Programming / Software Development - Computer Bks - General Information - Software engineering - Data structures (computer science)
Edition Identifiers:
- The Open Library ID: OL364458M - OL40507336M - OL34448089M - OL7749782M
- Library of Congress Control Number (LCCN): 98024731
- All ISBNs: ➤ 0511836503 - 0511663072 - 0521641705 - 9780511836503 - 9780511663079 - 9780521641708
First Setence:
"During the process of stepwise, hierarchical program development, a step represents a transformation of a so-called abstract higher level result into a more concrete lower level one."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Data refinement at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32First post-cold war superpower summit, May 1990
By United States. Congress. House. Committee on Foreign Affairs
“First post-cold war superpower summit, May 1990” Metadata:
- Title: ➤ First post-cold war superpower summit, May 1990
- Author: ➤ United States. Congress. House. Committee on Foreign Affairs
- Language: English
- Number of Pages: Median: 96
- Publisher: ➤ U.S. G.P.O. - For sale by the Supt. of Docs., Congressional Sales Office, U.S. G.P.O.
- Publish Date: 1990
- Publish Location: Washington
“First post-cold war superpower summit, May 1990” Subjects and Themes:
- Subjects: Nuclear arms control - Foreign relations - Verification - Summit meetings
- Places: Soviet Union - United States - Washington (D.C.)
- Time: 1989-1993
Edition Identifiers:
- The Open Library ID: OL18031062M - OL15281691M - OL1987100M - OL16859391M - OL17097730M
- Library of Congress Control Number (LCCN): 90602484
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find First post-cold war superpower summit, May 1990 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Verification methodology manual for SystemVerilog
By Janick Bergeron, Eduard Cerny, Alan Hunter and Andy Nightingale
“Verification methodology manual for SystemVerilog” Metadata:
- Title: ➤ Verification methodology manual for SystemVerilog
- Authors: Janick BergeronEduard CernyAlan HunterAndy Nightingale
- Language: English
- Number of Pages: Median: 517
- Publisher: Springer
- Publish Date: 2005 - 2006 - 2008 - 2014
“Verification methodology manual for SystemVerilog” Subjects and Themes:
- Subjects: ➤ Verilog (Computer hardware description language) - Integrated circuits - Verification - Technology
Edition Identifiers:
- The Open Library ID: OL37197528M - OL37085496M - OL31392926M - OL7444818M
- Library of Congress Control Number (LCCN): 2005051724
- All ISBNs: ➤ 9781461498131 - 0387255567 - 9780387255569 - 0387506454 - 9780387506456 - 9780387255385 - 0387255389 - 1461498139
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification methodology manual for SystemVerilog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34New Trends in Software Methodologies, Tools and Techniques
By H. Fujita and T. Gavrilova
“New Trends in Software Methodologies, Tools and Techniques” Metadata:
- Title: ➤ New Trends in Software Methodologies, Tools and Techniques
- Authors: H. FujitaT. Gavrilova
- Language: English
- Number of Pages: Median: 368
- Publisher: ➤ IOS Press - IOS Press, Incorporated
- Publish Date: 2007 - 2009 - 2011 - 2016
“New Trends in Software Methodologies, Tools and Techniques” Subjects and Themes:
- Subjects: Development - Congresses - Verification - Software engineering - Computer software
Edition Identifiers:
- The Open Library ID: OL44266973M - OL35472901M - OL27469483M - OL35477890M - OL49280609M
- Library of Congress Control Number (LCCN): 2011936665
- All ISBNs: ➤ 9781607502814 - 9781614996736 - 1607508303 - 160750281X - 9781607504603 - 9781607508311 - 1607508311 - 1614996733 - 160750460X - 9781607508304
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find New Trends in Software Methodologies, Tools and Techniques at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35U.S. capability to monitor compliance with the chemical weapons convention
By United States. Congress. Senate. Select Committee on Intelligence.
“U.S. capability to monitor compliance with the chemical weapons convention” Metadata:
- Title: ➤ U.S. capability to monitor compliance with the chemical weapons convention
- Author: ➤ United States. Congress. Senate. Select Committee on Intelligence.
- Language: English
- Number of Pages: Median: 137
- Publisher: U.S. G.P.O.
- Publish Date: 1994
- Publish Location: Washington
“U.S. capability to monitor compliance with the chemical weapons convention” Subjects and Themes:
- Subjects: Chemical arms control - Chemical weapons - Geneva Conventions - Verification
- Places: United States
Edition Identifiers:
- The Open Library ID: OL15395856M - OL851536M - OL17112239M - OL18070925M - OL14666723M
- Library of Congress Control Number (LCCN): 95131744
Author's Alternative Names:
"United States. Congress. Senate. Select Committee on Intelligence"Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find U.S. capability to monitor compliance with the chemical weapons convention at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Reactive systems
By Luca Aceto
“Reactive systems” Metadata:
- Title: Reactive systems
- Author: Luca Aceto
- Language: English
- Number of Pages: Median: 284
- Publisher: Cambridge University Press
- Publish Date: 2003 - 2007 - 2011
- Publish Location: Cambridge - New York
“Reactive systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - System design - Mathematical models - Computer software, verification - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL40463504M - OL40499624M - OL40784426M - OL17238091M - OL34459279M
- Online Computer Library Center (OCLC) ID: 123374684
- Library of Congress Control Number (LCCN): 2007282029
- All ISBNs: ➤ 9780511333446 - 0511333447 - 9780511814105 - 0511335350 - 0511334125 - 9780511334122 - 9780511335358 - 9780521875462 - 0521875463 - 0511814100
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Reactive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37EDA for IC system design, verification, and testing
By Luciano Lavagno, Grant Martin and Louis Scheffer
“EDA for IC system design, verification, and testing” Metadata:
- Title: ➤ EDA for IC system design, verification, and testing
- Authors: Luciano LavagnoGrant MartinLouis Scheffer
- Language: English
- Number of Pages: Median: 544
- Publisher: Taylor & Francis Group - CRC
- Publish Date: 2006 - 2018
“EDA for IC system design, verification, and testing” Subjects and Themes:
- Subjects: Integrated circuits - Computer-aided design - Verification - Data processing - Electronic circuit design
Edition Identifiers:
- The Open Library ID: OL33757158M - OL33757054M - OL33677618M - OL33428478M - OL8259968M
- All ISBNs: ➤ 9780849330964 - 9781315221700 - 1351828908 - 9781351828901 - 1315221705 - 0849330963 - 9781420007947 - 1420007947 - 1351837591 - 9781351837590
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find EDA for IC system design, verification, and testing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Hardware Verification With SystemVerilog
By Mike Mintz and Robert Ekendahl
“Hardware Verification With SystemVerilog” Metadata:
- Title: ➤ Hardware Verification With SystemVerilog
- Authors: Mike MintzRobert Ekendahl
- Language: English
- Number of Pages: Median: 318
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007 - 2010
“Hardware Verification With SystemVerilog” Subjects and Themes:
- Subjects: ➤ Verification - Verilog (Computer hardware description language) - Integrated circuits - Object-oriented programming (Computer science) - Verilog (computer hardware description language) - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL37105696M - OL27987983M - OL7447860M
- Library of Congress Control Number (LCCN): 2007923923
- All ISBNs: ➤ 1441944087 - 9780387717388 - 0387717382 - 0387717404 - 9781441944085 - 9780387717401
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Hardware Verification With SystemVerilog at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Writing testbenches
By Janick Bergeron
“Writing testbenches” Metadata:
- Title: Writing testbenches
- Author: Janick Bergeron
- Language: English
- Number of Pages: Median: 442
- Publisher: ➤ Island Press - Kluwer Academic - Springer - Springer London, Limited
- Publish Date: 2002 - 2003 - 2012 - 2013
- Publish Location: New York
“Writing testbenches” Subjects and Themes:
- Subjects: ➤ Computer hardware description languages - Integrated circuits - Verification
Edition Identifiers:
- The Open Library ID: OL50686041M - OL37240327M - OL28122694M - OL28016229M - OL27096412M
- All ISBNs: ➤ 9781461503026 - 9781461350125 - 1461503035 - 1475783442 - 1461350123 - 1461503027 - 9781461503033 - 9781475783445 - 0306476878 - 9780306476877
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Writing testbenches at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Verifying Nuclear Disarmament
By Thomas E. Shea
“Verifying Nuclear Disarmament” Metadata:
- Title: Verifying Nuclear Disarmament
- Author: Thomas E. Shea
- Language: English
- Number of Pages: Median: 240
- Publisher: Taylor & Francis Group
- Publish Date: 2018
“Verifying Nuclear Disarmament” Subjects and Themes:
- Subjects: ➤ Nuclear arms control - Nuclear nonproliferation - Nuclear disarmament - Verification - Nuclear weapons (International law) - Désarmement nucléaire - Armes nucléaires - Contrôle - Vérification - Armes nucléaires (Droit international) - POLITICAL SCIENCE - Government - International - International Relations - General - HISTORY - Proliferation
Edition Identifiers:
- The Open Library ID: OL40091158M - OL40044633M - OL36741294M - OL36730432M - OL28915948M
- Online Computer Library Center (OCLC) ID: 1054366699 - 1053984026 - 1203915006
- All ISBNs: ➤ 1351592149 - 1315102463 - 9781351592130 - 9781138103887 - 9781351592123 - 9781351592147 - 1138103888 - 1351592130 - 1351592122 - 9781315102467
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verifying Nuclear Disarmament at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Validation, verification, and testing for the individual programmer
By Martha A. Branstad
“Validation, verification, and testing for the individual programmer” Metadata:
- Title: ➤ Validation, verification, and testing for the individual programmer
- Author: Martha A. Branstad
- Language: English
- Number of Pages: Median: 22
- Publisher: ➤ National Bureau of Standards - U.S. Dept. of Commerce, National Bureau of Standards : for sale by Supt. of Docs., U.S. Govt. Print. Off. - Dept. of Commerce, National Bureau of Standards : for sale by the Supt. of Docs., U. S. Govt. Print. Off.
- Publish Date: 1980
- Publish Location: [Washington] - Washington, D.C
“Validation, verification, and testing for the individual programmer” Subjects and Themes:
- Subjects: Computer programs - Debugging in computer science - Testing - Verification
Edition Identifiers:
- The Open Library ID: OL19169606M - OL17798116M - OL17650036M - OL4235983M
- Online Computer Library Center (OCLC) ID: 6157773 - 6157682
- Library of Congress Control Number (LCCN): 80600005
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Validation, verification, and testing for the individual programmer at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Validation, verification, and testing of computer software
By W. Richards Adrion
“Validation, verification, and testing of computer software” Metadata:
- Title: ➤ Validation, verification, and testing of computer software
- Author: W. Richards Adrion
- Language: English
- Number of Pages: Median: 57
- Publisher: ➤ For sale by Supt. of Docs., U.S. G.P.O. - U.S. Dept. of Commerce, National Bureau of Standards
- Publish Date: 1981
- Publish Location: Washington, D.C
“Validation, verification, and testing of computer software” Subjects and Themes:
- Subjects: Computer programs - Computer software - Testing - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL17652132M - OL13603922M - OL17798656M - OL4236134M
- Online Computer Library Center (OCLC) ID: 7365204
- Library of Congress Control Number (LCCN): 80600199
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Validation, verification, and testing of computer software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Verification
By United States. Arms Control and Disarmament Agency.
“Verification” Metadata:
- Title: Verification
- Author: ➤ United States. Arms Control and Disarmament Agency.
- Language: English
- Number of Pages: Median: 32
- Publisher: ➤ The Agency : for sale by the Supt. of Dos., U.S. Govt. Print. Off.
- Publish Date: 1976
- Publish Location: Washington
“Verification” Subjects and Themes:
- Subjects: Disarmament - Inspection - On-site inspection - Verification
Edition Identifiers:
- The Open Library ID: OL17815052M - OL14179841M - OL17645466M - OL17730910M
- Online Computer Library Center (OCLC) ID: 2298990
Author's Alternative Names:
" United States Arms Control and Disarmament Agency Staff", "United States Arms Control and Disarmament Agency", "U.S. Arms Control and Disarmament Agency", "ARMS CONTROL AND DISARMAMENT AGENCY WASHINGTON DC", "United States. Arms Control and Disarmament Agency" and "Arms Control and Disarmament Agency (U.S.)"Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44The E hardware verification language
By Sasan Iman and Sunita Joshi
“The E hardware verification language” Metadata:
- Title: ➤ The E hardware verification language
- Authors: Sasan ImanSunita Joshi
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Kluwer Academic Publishers - Springer-Verlag New York, LLC - Springer
- Publish Date: 2004 - 2013
- Publish Location: Norwell, MA
“The E hardware verification language” Subjects and Themes:
- Subjects: ➤ Computers - Computer hardware description languages - Circuits - Testing - Integrated circuits - Verification - Systems analysis & design - Technology & Industrial Arts - Computer Books: Languages - Programming Languages - General - Automation - Computer Engineering - Engineering - Electrical & Electronic - Computers-Computer Engineering - Technology / Automation - Technology / Electronics / Circuits / General - Technology-Engineering - Electrical & Electronic - Computer hardware description - Science/Mathematics - Computers, circuits
Edition Identifiers:
- The Open Library ID: OL30571335M - OL22592647M - OL9337345M - OL8372982M
- Library of Congress Control Number (LCCN): 2004051567
- All ISBNs: ➤ 9781475779264 - 1402080239 - 1402080247 - 1475779267 - 9781402080241 - 9781402080234
First Setence:
"The e hardware verification language is designed to support the special requirements of functional verification, e provides abstractions that are specifically targeted to better implementations of functional verification concepts."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The E hardware verification language at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Verification 1997
By Richard Guthrie
“Verification 1997” Metadata:
- Title: Verification 1997
- Author: Richard Guthrie
- Language: English
- Publisher: Taylor & Francis Group
- Publish Date: 2018
“Verification 1997” Subjects and Themes:
- Subjects: Arms control - Verification - Armements - Contrôle - Vérification
Edition Identifiers:
- The Open Library ID: OL39265218M - OL36741322M - OL36745560M - OL39262105M
- Online Computer Library Center (OCLC) ID: 1103972823
- All ISBNs: ➤ 0429982909 - 0429993986 - 0429971826 - 9780429993985 - 9780429503276 - 042950327X - 9780429971822 - 9780429982903
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification 1997 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Treaty on Open Skies
By United States. Defense Threat Reduction Agency
“Treaty on Open Skies” Metadata:
- Title: Treaty on Open Skies
- Author: ➤ United States. Defense Threat Reduction Agency
- Language: English
- Number of Pages: Median: 303
- Publisher: ➤ Defense Threat Reduction Agency
- Publish Date: 2003 - 2005 - 2006
- Publish Location: ➤ [Washington, D.C - Washington, D.C.] - Washington, D.C.?
“Treaty on Open Skies” Subjects and Themes:
- Subjects: Airspace (International law) - Arms control - Verification - Aerial reconnaissance
Edition Identifiers:
- The Open Library ID: OL31708051M - OL31674615M - OL56484672M - OL3749204M
- Online Computer Library Center (OCLC) ID: 52861413
- Library of Congress Control Number (LCCN): 2006361896 - 2005452604 - 2003431599
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Treaty on Open Skies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Compositional verification of concurrent and real-time systems
By Eric Y. T. Juan, Eric Y.T. Juan and Jeffrey J.P. Tsai
“Compositional verification of concurrent and real-time systems” Metadata:
- Title: ➤ Compositional verification of concurrent and real-time systems
- Authors: Eric Y. T. JuanEric Y.T. JuanJeffrey J.P. Tsai
- Language: English
- Number of Pages: Median: 206
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2002 - 2011
- Publish Location: Boston
“Compositional verification of concurrent and real-time systems” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Real-time data processing - Verification - Computer systems - Software engineering - Parallel Processing - Computers - Technology & Industrial Arts - Programming - Software Development - Computer Books: General - Programming - Parallel Programming - Parallel processing (Electroni - Data Processing - Parallel Processing - General - Computers / Parallel Processing - Computers / Programming / Software Development - Computers : Programming - Software Development - Medical : General - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL8372317M - OL27962540M - OL20645098M - OL21484963M
- Online Computer Library Center (OCLC) ID: 49226201
- Library of Congress Control Number (LCCN): 2002023653
- All ISBNs: 9781402070259 - 140207025X - 1461510104 - 9781461510109
First Setence:
"Concurrency is an important technique widely used in modern systems."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Compositional verification of concurrent and real-time systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48On-site inspections under the CFE treaty
By Joseph P. Harahan
“On-site inspections under the CFE treaty” Metadata:
- Title: ➤ On-site inspections under the CFE treaty
- Author: Joseph P. Harahan
- Language: English
- Number of Pages: Median: 369
- Publisher: ➤ On-Site Inspection Agency, U.S. Dept. of Defense
- Publish Date: 1996
- Publish Location: Washington, D.C
“On-site inspections under the CFE treaty” Subjects and Themes:
- Subjects: ➤ Arms control - Disarmament - Inspection - On-site inspection - Treaty on Conventional Armed Forces in Europe - Verification
- Places: Europe
Edition Identifiers:
- The Open Library ID: ➤ OL732412M - OL23109810M - OL22285549M - OL18114601M - OL13622369M - OL15486384M - OL17122791M - OL17533545M
- Online Computer Library Center (OCLC) ID: 38867419 - 36433570
- Library of Congress Control Number (LCCN): 97122128
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find On-site inspections under the CFE treaty at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49A brief history of the On-Site Inspection Agency
By David M. Willford
“A brief history of the On-Site Inspection Agency” Metadata:
- Title: ➤ A brief history of the On-Site Inspection Agency
- Author: David M. Willford
- Language: English
- Number of Pages: Median: 43
- Publisher: ➤ On-Site Inspection Agency, U.S. Dept. of Defense - U.S. Dept. of Defense - On-Site Inspection Agency, U.S. Department of Defense - On-Site Inspection Agency
- Publish Date: 1995 - 1996 - 1997
- Publish Location: ➤ Washington, DC - [Washington, DC] - Washington, D.C - [Washington, D.C.?]
“A brief history of the On-Site Inspection Agency” Subjects and Themes:
- Subjects: History - Nuclear arms control - United States - United States. On-Site Inspection Agency - Verification
- Places: United States
Edition Identifiers:
- The Open Library ID: ➤ OL558581M - OL17687400M - OL13622483M - OL17805864M - OL17684735M - OL311807M
- Online Computer Library Center (OCLC) ID: 37314765 - 34037487 - 34521305
- Library of Congress Control Number (LCCN): 97222078 - 96141730
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Downloads:
- Number of Results: 3
- 1: briefhistoryofon00wash_0
- 2: briefhistoryofon00wash
- 3: briefhistoryofon00will
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find A brief history of the On-Site Inspection Agency at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50U.S. policy toward Iraq
By United States. Congress. House. Committee on International Relations.
“U.S. policy toward Iraq” Metadata:
- Title: U.S. policy toward Iraq
- Author: ➤ United States. Congress. House. Committee on International Relations.
- Language: English
- Number of Pages: Median: 60
- Publisher: ➤ U.S. G.P.O. - For sale by the Supt. of Docs., U.S. G.P.O. [Congressional Sales Office] - For sale by the U.S. G.P.O., Supt. of Docs., Congressional Sales Office - For sale by the Supt. of Docs., U.S. G.P.O., [Congressional Sales Office]
- Publish Date: 1996 - 2002 - 2003
- Publish Location: Washington
“U.S. policy toward Iraq” Subjects and Themes:
- Subjects: ➤ Foreign relations - Politics and government - United Nations - Finance - Military relations - Weapons of mass destruction - On-site inspection - Disarmament - Military policy - Iraq War, 2003- - Postwar reconstruction - American Military assistance - Nuclear arms control - American Economic assistance - Verification - Iraq War, 2003-2011
- Places: Iraq - United States
- Time: 1991- - 1991-2003 - 2003-
Edition Identifiers:
- The Open Library ID: OL23039720M - OL23354876M - OL3350130M - OL607197M - OL3647095M
- Online Computer Library Center (OCLC) ID: 35577744 - 54680259 - 51038655
- Library of Congress Control Number (LCCN): 2002485988 - 96202535 - 2004368127
- All ISBNs: 016052976X - 9780160529764
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find U.S. policy toward Iraq at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.