Osnovy logičeskich metodov proverki avtomatov
Uloženo v:
Hlavní autor: | |
---|---|
Médium: | Kniha |
Jazyk: | ruština |
Vydáno: |
Riga :
Zinatne,
1979
|
Žánr/forma: | monografie |
Témata: | |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Stav | Dílčí knihovna | Popis | Umístění | LCC signatura | Stará signatura |
---|---|---|---|---|---|
Sklad, k vypůjčení
Požadavek |
Fond NTK | Sklad | QA268 .S55 1979 | A 11181 |