Matches in Library of Congress for { <http://lccn.loc.gov/89004329> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 89004329 contributor B5844839.
- 89004329 created "c1989.".
- 89004329 date "1989".
- 89004329 date "c1989.".
- 89004329 dateCopyrighted "c1989.".
- 89004329 description "Bibliography: p. 266-272.".
- 89004329 extent "vi, 272 p. :".
- 89004329 identifier "0387508457 (U.S.) :".
- 89004329 isPartOf "Lecture notes in computer science ; 321".
- 89004329 issued "1989".
- 89004329 issued "c1989.".
- 89004329 language "eng".
- 89004329 publisher "Berlin ; New York : Springer-Verlag,".
- 89004329 subject "004/.35 19".
- 89004329 subject "Automatic theorem proving.".
- 89004329 subject "Parallel processing (Electronic computers)".
- 89004329 subject "QA76.5 .Z87 1989".
- 89004329 title "Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.".
- 89004329 type "text".