Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer software -- Verification
Resource Information
The concept Computer software -- Verification represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer software -- Verification
- Authority link
- http://id.worldcat.org/fast/00872604
- Source
- fast
39 Items that share the Concept Computer software -- Verification
Context
Context of Computer software -- VerificationSubject of
- 2007 IEEE International High Level Design Validation and Test Workshop : proceedings : November 7-9, 2007, Irvine, California
- 2008 IEEE International Conference on Software Testing, Verification, and Validation Workshop (ICSTW '08)
- 2008 IEEE International High-Level Design Validation and Test Workshop : proceedings : November 19-21, 2008, Incline Village, Nevada
- E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013 : proceedings
- Eighth IEEE International High-Level Design Validation and Test Workshop : proceedings : 12-14 November, 2003, San Francisco, California
- Eleventh Annual IEEE International High-Level Design Validation and Test Workshop : November 8-10, 2006, Monterey, California : proceedings
- Enterprise OSGi in action
- Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken
- Explore it! : reduce risk and increase confidence with exploratory testing
- Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
- Gradle : Ein kompakter Einstieg in modernes Build-Management
- Gradle beyond the basics
- Gradle in action
- HLDVT '09 : conference proceedings : IEEE International High Level Design Validation and Test Workshop : November 4-6, 2009, Grand Hyatt, San Francisco, CA
- HLDVT '10 : conference proceedings : IEEE International High Level Design Validation and Test Workshop : June 11-12, 2010, Anaheim Convention Center, Anaheim, CA
- HLDVT '11 : IEEE International High Level Design Validation and Test Workshop : conference proceedings : [sixteenth annual workshop] : November 10-11, 2011 : Napa Valley Marriott, Napa Valley, CA
- ICSTW 2009 : IEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA
- IEEE International High-Level Design Validation and Test Workshop : 8-10 November 2000, Berkeley, California : proceedings
- Introducing Gradle
- Model checking control communication of a FACTS device
- Modelling and Analysis of Security Protocols
- Ninth IEEE International High-Level Design Validation and Test Workshop : proceedings : November 10-12, 2004, [the Lodge at Sonoma], Sonoma Valley, California
- Proceedings : Second Workshop on Software Testing, Verification, and Analysis, 19-21 July 1988, Banff, Canada
- Proceedings Fourth International Conference on Software Testing, Verification, and Validation Workshops : Berlin, Germany, 21-25 March 2011
- Proceedings Third International Conference on Software Testing, Verification, and Validation : ICST 2010 : 7-9 April 2010, Paris, France
- Proceedings Third International Conference on Software Testing, Verification, and Validation--Workshops : ICST Workshops 2010 : 6-10 April 2010, Paris, France
- Proceedings of the First International Conference on Software Testing, Verification, and Validation : April 9-11, 2008, Lillehammer, Norway
- Proceedings, ISoLA 2006 : Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : proceedings : 15-19 November 2006, Paphos, Cyprus
- Proceedings, Second International Conference on Software Testing, Verification, and Validation : Denver, Colorado, April 1-4, 2009
- Seventh IEEE International High-Level Design Validation and Test Workshop : proceedings : 27-29 October, 2002, Cannes, France
- Sixth IEEE International High-Level Design Validation and Test Workshop : proceedings : 7-9 November, 2001
- Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant
- Software testing, verification & reliability
- Specification by example : how successful teams deliver the right software
- TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten
- Tenth Annual IEEE International High-Level Design Validation and Test Workshop : November 30 - December 2, 2005, Napa Valley, California : proceedings
- Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India
- Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1E0mvBNwefc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1E0mvBNwefc/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Computer software -- Verification
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/1E0mvBNwefc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/1E0mvBNwefc/">Computer software -- Verification</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
