Specification, verification, and net models of concurrent systems
Subtitle: edited by V.A. Nepomniaschy.
Contributors: Nepomni͡a︡shchiĭ, Valeriĭ Aleksandrovich, 1939-; Institut sistem informatiki im. A.P. Ershova.
Publisher: A.P. Ershov Institute of Informatics Systems
Published: 1994
Place of publication: Novosibirsk
Language: eng
Number of pages: 193
Subjects: Parallel programming (Computer science); Computer software -- Verification.; Computer algorithms.
Other titles: Spet͡s︡ifikat͡s︡ii͡a︡, verifikat͡s︡ii͡a︡ i setevye modeli parallelʹnykh sistem
Notes: Includes bibliographical references.