Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
December 5, 2010 | History

Osnovy logicheskikh metodov proverki avtomatov 1 edition

Osnovy logicheskikh metodov proverki avtomatov
A. N. Skli͡arevich

No ebook available.

Buy this book

Add an ISBN in order to
link to booksellers

Zut alors! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Osnovy logicheskikh metodov proverki avtomatov
A. N. Skli͡arevich.

Published 1979 by Zinatne in Riga .
Written in Russian.

Edition Notes

Bibliography: p. [187]-189.
At head of title: Akademii͡a nauk Latviĭskoĭ SSR. Institut ėlektroniki i vychislitelʹnoĭ tekhniki.


Library of Congress
QA268 .S54

The Physical Object

191 p. :
Number of pages

ID Numbers

Open Library
LC Control Number

History Created December 10, 2009 · 2 revisions Download catalog record: RDF / JSON

December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page