Programmanalyse
Resource Information
The concept Programmanalyse represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Programmanalyse
Resource Information
The concept Programmanalyse represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Programmanalyse
- Source
- gnd
9 Items that share the Concept Programmanalyse
Context
Context of ProgrammanalyseSubject of
No resources found
No enriched resources found
- Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
- Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures
- Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
- Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
- Variations on constants : flow analysis of sequential and parallel programs
- Verification and validation in systems engineering : assessing UML/SysML design models
- Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings
- Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings
Embed
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/39aCVSFkaLg/" 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/39aCVSFkaLg/">Programmanalyse</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 Programmanalyse
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/39aCVSFkaLg/" 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/39aCVSFkaLg/">Programmanalyse</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>
