Problemy spet͡s︡ifikat͡s︡ii i verifikat͡s︡ii parallelʹnykh sistem
Subtitle: sbornik nauchnykh trudov
By: pod redakt͡s︡ieĭ V.A. Nepomni͡a︡shchego.
Contributors: Nepomni͡a︡shchiĭ, Valeriĭ Aleksandrovich, 1939-; Institut sistem informatiki im. A.P. Ershova.
Publisher: Rossiĭskai͡a︡ akademii͡a︡ nauk, Sibirskoe otd-nie, In-t sistem informatiki im. A.P. Ershova
Published: 1995
Place of publication: Novosibirsk
Language: rus
Number of pages: 235
Subjects: Parallel programming (Computer science); Computer software -- Verification.; Computer algorithms.
Other titles: Problems of specification and verification of concurrent systems
Notes: Summary in English.
Includes bibliographical references.