prindi

State isomorphism in model programs with abstract data structures

autor
Veanes, Margus
Ernits, Juhan-Peep
Campbell, Colin
vastutusandmed
Margus Veanes, Juhan Ernits and Colin Campbell
allikas
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[Tallinna Tehnikaülikool]
ilmumisaasta
2007
leheküljed
lk. 43-46 : ill
märksõna
tarkvara
modelleerimine (teadus)
isomorfismid (matemaatika)
ISBN
978-9985-59-700-2
märkused
Bibliogr.: 10 nim
keel
inglise
Veanes, M., Ernits, J.-P., Campbell, C. State isomorphism in model programs with abstract data structures // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum. [Tallinn] : [Tallinna Tehnikaülikool], 2007. lk. 43-46 : ill.