Verifikat︠s︡ii︠a︡ avtomatnykh programm
By: S.Ė. Velʹder, M.A. Lukin, A.A. Shalyto, B.R. I︠A︡minov
Publisher: "Nauka"
Published: 2011
Place of publication: Sankt-Peterburg
Language: rus
Number of pages: 244
ISBN-13: 9785020381605
Subjects: Automatic control; Verification; Computer programs
Notes: At head of title: Ministerstvo obrazovanii︠a︡ i nauki Rossiĭskoĭ Federat︠s︡ii. Sankt-Peterburgskiĭ gosudarstvennyĭ universitet informat︠s︡ionnykh tekhnologiĭ, mekhaniki i optiki.

Includes bibliographical references (pages 231-239) and index.