Verification of sequential and concurrent programs
Resource Information
The work Verification of sequential and concurrent programs represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Verification of sequential and concurrent programs
Resource Information
The work Verification of sequential and concurrent programs represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books.
- Label
- Verification of sequential and concurrent programs
- Statement of responsibility
- by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog ; foreword by Amir Pnueli
- Language
- eng
- Cataloging source
- UKM
- Dewey number
- 005.14
- Index
- index present
- LC call number
- QA76.76.V47
- LC item number
- A67 2009
- Literary form
- non fiction
- Nature of contents
- bibliography
- Series statement
- Texts in computer science
Context
Context of Verification of sequential and concurrent programsWork of
No resources found
No enriched resources found
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/_ksHCQIQXqQ/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/_ksHCQIQXqQ/">Verification of sequential and concurrent programs</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 Work Verification of sequential and concurrent programs
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/_ksHCQIQXqQ/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/_ksHCQIQXqQ/">Verification of sequential and concurrent programs</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>
