Matches in Library of Congress for { <http://lccn.loc.gov/2005925390> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 2005925390 alternative "Symposium on the Occasion of 25 years of CSP".
- 2005925390 contributor B10394293.
- 2005925390 contributor B10394294.
- 2005925390 created "c2005.".
- 2005925390 date "2005".
- 2005925390 date "c2005.".
- 2005925390 dateCopyrighted "c2005.".
- 2005925390 description "Includes bibliographical references and index.".
- 2005925390 description "Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.".
- 2005925390 extent "xiv, 320 p. :".
- 2005925390 hasFormat "Also issued online.".
- 2005925390 identifier "3540258132".
- 2005925390 identifier "9783540258131".
- 2005925390 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3525.
- 2005925390 identifier 2005925390-d.html.
- 2005925390 isFormatOf "Also issued online.".
- 2005925390 isPartOf "Lecture notes in computer science ; 3525.".
- 2005925390 isPartOf "Lecture notes in computer science, 0302-9743 ; 3525. Festschrift".
- 2005925390 isPartOf "Lecture notes in computer science. Festschrift.".
- 2005925390 issued "2005".
- 2005925390 issued "c2005.".
- 2005925390 language "eng".
- 2005925390 publisher "Berlin ; New York : Springer,".
- 2005925390 relation "Also issued online.".
- 2005925390 subject "005.13/3 22".
- 2005925390 subject "CSP (Computer program language) Congresses.".
- 2005925390 subject "Computer programming Congresses.".
- 2005925390 subject "Parallel processing (Electronic computers) Congresses.".
- 2005925390 subject "Parallel programming (Computer science) Congresses.".
- 2005925390 subject "QA76.73.C75 S96 2004".
- 2005925390 subject "Sequential processing (Computer science) Congresses.".
- 2005925390 tableOfContents "Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.".
- 2005925390 title "Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).".
- 2005925390 title "Symposium on the Occasion of 25 years of CSP".
- 2005925390 type "text".