| rdf:type | <https://jpsearch.go.jp/term/type/図書> |
| rdfs:label | "Proving concurrent systems correct" |
| schema:name | "Proving concurrent systems correct" @en |
| ns0:accessInfo | #accessinfo |
| ns0:agential 2 | _:vb66478808 (an orphan bnode) |
| ns0:agential | _:vb66478809 (an orphan bnode) |
| ns0:sourceInfo | #sourceinfo |
| ns0:spatial | _:vb66478810 (an orphan bnode) |
| ns0:temporal | _:vb66478811 (an orphan bnode) |
| schema:creator | <https://ld.webcatplus.jp/entity/C993057> |
| schema:datePublished | "1979" |
| schema:description 3 | "注記: Includes bibliographical references (p. 111-113)" |
| schema:description | "責任表示: by Richard Alan Karp" |
| schema:description | "注記: Facsim. Reprint of the author's thesis (Ph.D.)--Stanford University, 1979" |
| schema:inLanguage | <http://id.loc.gov/vocabulary/iso639-2/eng> (➜ "英語") |
| schema:numberOfPages | "vi, 151 p." |
| schema:publisher | <https://ld.webcatplus.jp/entity/P714588> |
| schema:size | "21 cm" |
| schema:spatial | <https://jpsearch.go.jp/entity/place/アメリカ> |
| schema:temporal | <https://jpsearch.go.jp/entity/time/1979> (➜ "1979年") |