Verification and error correction on High-Level Decision Diagrams
autor
vastutusandmed
Anton Karputkin
ilmumiskoht
Saarbrücken
kirjastus/väljaandja
ilmumisaasta
leheküljed
124 p. : ill
märksõna
ISBN
978-3-659-35570-7
TTÜ struktuuriüksus
keel
inglise
Karputkin, A. Verification and error correction on High-Level Decision Diagrams. Saarbrücken : Lambert Academic Publishing, 2013. 124 p. : ill.