Matches in Library of Congress for { <http://lccn.loc.gov/98201859> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 98201859 alternative "Spet︠s︡ifikat︠s︡ii︠a︡, verifikat︠s︡ii︠a︡ i setevye modeli parallelʹnykh sistem".
- 98201859 contributor B8507531.
- 98201859 contributor B8507532.
- 98201859 created "1994.".
- 98201859 date "1994".
- 98201859 date "1994.".
- 98201859 dateCopyrighted "1994.".
- 98201859 description "Includes bibliographical references.".
- 98201859 extent "193 p. :".
- 98201859 identifier "5762304108".
- 98201859 issued "1994".
- 98201859 issued "1994.".
- 98201859 language "eng".
- 98201859 publisher "Novosibirsk : A.P. Ershov Institute of Informatics Systems,".
- 98201859 subject "Computer algorithms.".
- 98201859 subject "Computer software Verification.".
- 98201859 subject "Parallel programming (Computer science)".
- 98201859 subject "QA76.642 .S69 1994".
- 98201859 title "Specification, verification, and net models of concurrent systems / edited by V.A. Nepomniaschy.".
- 98201859 title "Spet︠s︡ifikat︠s︡ii︠a︡, verifikat︠s︡ii︠a︡ i setevye modeli parallelʹnykh sistem".
- 98201859 type "text".