Logout succeed
Logout succeed. See you again!
Top 1014 audits verification PDF Book Page 37
Try WiseWorksheets to request a book.
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
151 Pages
2010
2.438 MB
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)515 Pages199928.469 MB
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)242 Pages20177.75 MB
NASA Technical Reports Server (NTRS) 20040086848: Verification and Analysis of Formulation 4 of Langley for the Study of Noise From High Speed Surfaces
NASA Technical Reports Server (NTRS)20 Pages0.16 MB
Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Peter Wright, Mark Blythe, John McCarthy (auth.), Stephen W. Gilroy, Michael D. Harrison (eds.)276 Pages20066.699 MB
17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations, Sixth Edition (IEE Wiring Regulations, 17th edition)
Brian Scaddan IEng; MIIE (elec)155 Pages20083.613 MB
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
Gilles Barthe, Manuel Hermenegildo406 Pages20104.073 MB
JIS B 9709-2: Safety of machinery -- Reduction of risks to health from hazardous substances emitted by machinery -- Part 2: Methodology leading to verification procedures
Japan Standards Association (JSA)16 Pages20011.8 MB
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.)230 Pages20012.346 MB
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)1034 Pages201320.752 MB
Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits
Hasan Baig, Jan Madsen171 Pages20207.402 MB
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)546 Pages20046.802 MB
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)579 Pages20055.377 MB
The Search for Iraq's Weapons of Mass Destruction: Inspection, Verification and Non-Proliferation (Global Issues Series)
Graham S. Pearson373 Pages20051.029 MB
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.)261 Pages201610.875 MB
DTIC ADA381089: The Independent Verification, Validation, and Accreditation Process as Applied to Extended Air Defense Testbed
Defense Technical Information Center17 Pages1.2 MB
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)592 Pages20008.337 MB
DTIC AD1004498: Simulating Reachability using First-Order Logic with Applications to Verification of Linked Data Structures
Defense Technical Information Center0.16 MB
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)778 Pages20119.873 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
