Logicheskie metody proverki kombinat︠s︡ionnykh avtomatov
By: A.N. Skli︠a︡revich.
Publisher: Zinatne
Published: 1975
Place of publication: Riga
Language: rus
Number of pages: 195
Subjects: Automata -- Reliability; Debugging in computer science
Notes: At head of title: Akademii︠a︡ nauk Latviĭskoĭ SSR.  Institut ėlektroniki i vychislitelʹnoĭ tekhniki.

Bibliography: p. 194-[196]