Explore: Verification

“The Poet's Handbook” Metadata:

• Title: The Poet's Handbook
• Author: Judson Jerome
• Language: English
• Number of Pages: Median: 224
• Publisher: ➤  Writers Digest Books - Writer's 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 - OL8788795M - OL8272921M
• Online Computer Library Center (OCLC) ID: 14388 - 87861211 - 6532132
• Library of Congress Control Number (LCCN): 80017270
• All ISBNs: ➤  9781582971360 - 0898792193 - 1582971366 - 9780898792195 - 0898790212 - 9780898790214

“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

“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

“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

“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: ➤  1461407141 - 9780387270388 - 1461407168 - 9781461407157 - 0387270388 - 9781461407140 - 146140715X - 9781461407164

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“Data flow analysis” Metadata:

• Title: Data flow analysis
• Authors: Uday KhedkerAmitabha SanyalBageshri Karkare
• Language: English
• Number of Pages: Median: 395
• Publisher: CRC - Taylor & Francis Group
• 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: 449661968 - 300030552
• Library of Congress Control Number (LCCN): 2009002056
• All ISBNs: ➤  9781351838238 - 9781351829540 - 1351829548 - 1351838237 - 9781322627502 - 0849332516 - 1322627509 - 9780849332517 - 0849328802 - 9780849328800 - 9781315222349 - 1315222345

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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 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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“Explore it!” Metadata:

• Title: Explore it!
• Author: Elisabeth Hendrickson
• Languages: English - gem
• Number of Pages: Median: 162
• Publisher: ➤  dpunkt.verlag - The Pragmatic Programmers
• Publish Date: 2013 - 2014

“Explore it!” Subjects and Themes:

• Subjects: ➤  Validation - Testing - Verification - Computer software - Computer software, validation - Computer software, verification

Edition Identifiers:

• The Open Library ID: OL27206788M - OL49556934M
• Online Computer Library Center (OCLC) ID: 893098019 - 810318822
• Library of Congress Control Number (LCCN): 2014395463
• All ISBNs: 9783864915253 - 9781937785024 - 3864915252 - 1937785025

“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: