Call Number (LC) Title Results
QA76.76.U84 R62 2002 Sed & awk : pocket reference / 1
QA76.76.U84 R63 2000eb Sed & awk pocket reference / 2
QA76.76.U84 T66 1992 Mastering MAKE : a guide to building programs on DOS and UNIX systems / 2
QA76.76.U84 V54 1991 The Norton Utilities : includes version 5 / 2
QA76.76.V27 L66 2003 VBScript in a nutshell / 1
QA76.76.V37 Computer Aided Verification 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings / 1
QA76.76.V47 Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Formal verification of Simulink/Stateflow diagrams : a deductive approach /
Verified software. Theories, tools and experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
Guide to software verification with Frama-C : core components, usages, and applications /
Deductive Software Verification -- The KeY Book From Theory to Practice /
Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /
Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /
Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers /
Provably correct systems /
Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY /
Gradle for Andorid : automate the build process for your Android projects with Gradle /
Embedded software verification and debugging /
EU annex 11 guide to computer validation compliance for the worldwide health agency GMP /
Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.
Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
Gradle essentials : master the fundamentals of Gradle with this quick and easy-to-read guide /
String analysis for software verification and security /
Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers /
Verification, model checking, and abstract interpretation : 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings /
Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Mastering Gradle : master the technique of developing, migrating, and building automation using Gradle /
Dependable software systems engineering /
Gradle for Android : learn the new build system for Android development /
Gradle fundamentals : from basic syntax to plugins, repositories, dependencies, and multi-project builds /
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
Gradle dependency management : learn how to use Gradle's powerful dependency management through extensive code samples, and discover how to define, customize, and deploy dependencies /
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings /
Gradle effective implementations guide : a comprehensive guide to get up and running with build automation using Gradle /
Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Formal system verification : state-of the-art and future trends /
Runtime verification a hands-on approach in Java /
Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /
Handbook of model checking /
Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
Computer aided verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Hardware and software : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /
Verified software : theories, tools and experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, revised selected papers /
Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings /
Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings /
Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
Gradle for Android /
Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /
Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.
Type systems for distributed programs : components and sessions /
Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /
Challenges of Software Verification /
Verified software theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /
Verification, model checking, and abstract interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings /
Theoretical and practical aspects of SPIN model checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
Formal verification of control system software /
Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / 		74
QA76.76 .V47 1991 Space shuttle, NASA should implement independent oversight of software development : report to the chairman, Committee on Science, Space, and Technology, House of Representatives. 1
QA76.76.V47 2006 Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / 1
QA76.76.V47 A5 1999 Type and effect systems : behaviours for concurrency / 1
QA76.76.V47 A65 2014 Program logics for certified compilers / 1
QA76.76.V47 A65 2014eb Program logics for certified compilers / 1
QA76.76.V47 A67 1991 Verification of sequential and concurrent programs / 1
QA76.76.V47 A67 1997 Verification of sequential and concurrent programs / 1
QA76.76.V47 A67 2009 Verification of sequential and concurrent programs 1
QA76.76.V47 B35 2008 Principles of model checking / 1
QA76.76.V47 B35 2008eb Principles of model checking / 1
QA76.76.V47 B38 2013 Gradle : Ein kompakter Einstieg in modernes Build-Management / 1
QA76.76.V47 B46 2008eb Principles of the Spin model checker 1
QA76.76.V47 B563 2015 Decidability of parameterized verification / 1