Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures
Resource Information
The work Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures 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, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures
Resource Information
The work Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures 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, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures
- Title remainder
- the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures
- Statement of responsibility
- Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
- Title variation
- COMPOS '97
- Subject
-
- Conference papers and proceedings
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers) -- Congresses
- Automatic theorem proving
- Automatic theorem proving
- Automatic theorem proving -- Congresses
- Conference papers and proceedings
- Language
- eng
- Summary
- "This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses."--Publisher's description
- Cataloging source
- CUT
- Dewey number
- 004/.35
- Illustrations
- illustrations
- Index
- index present
- Language note
- English
- LC call number
- QA76.58
- LC item number
- .C639 1997
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Lecture notes in computer science
- Series volume
- 1536
Context
Context of Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised LecturesWork of
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/6Qu3XIvImP8/" 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/6Qu3XIvImP8/">Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures</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 Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures
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/6Qu3XIvImP8/" 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/6Qu3XIvImP8/">Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures</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>
