Matches in Library of Congress for { <http://lccn.loc.gov/97216147> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 97216147 alternative "Problems of specification and verification of concurrent systems".
- 97216147 contributor B8228070.
- 97216147 contributor B8228071.
- 97216147 created "1995.".
- 97216147 date "1995".
- 97216147 date "1995.".
- 97216147 dateCopyrighted "1995.".
- 97216147 description "Includes bibliographical references.".
- 97216147 extent "235 p. :".
- 97216147 identifier "5762310698".
- 97216147 issued "1995".
- 97216147 issued "1995.".
- 97216147 language "Summary in English.".
- 97216147 language "rus eng".
- 97216147 language "rus".
- 97216147 publisher "Novosibirsk : Rossiĭskai︠a︡ akademii︠a︡ nauk, Sibirskoe otd-nie, In-t sistem informatiki im. A.P. Ershova,".
- 97216147 subject "Computer algorithms.".
- 97216147 subject "Computer software Verification.".
- 97216147 subject "Parallel programming (Computer science)".
- 97216147 subject "QA76.642 .P75 1995".
- 97216147 title "Problems of specification and verification of concurrent systems".
- 97216147 title "Problemy spet︠s︡ifikat︠s︡ii i verifikat︠s︡ii parallelʹnykh sistem : sbornik nauchnykh trudov / pod redakt︠s︡ieĭ V.A. Nepomni︠a︡shchego.".
- 97216147 type "text".