Osnovy logičeskich metodov proverki avtomatov.

Uložené v:
Podrobná bibliografia
Hlavný autor: Skljarevič, Akiva Nuchimovič
Médium: Kniha
Jazyk:Russian
Vydané: Riga : Zinatne, 1979.
Fyzický popis: 190 strán.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!

Dokument je vyradený