Veanes, M., Ernits, J.-P., Campbell, C.

State isomorphism in model programs with abstract data structures

author

Veanes, Margus

Ernits, Juhan-Peep

Campbell, Colin

statement of authorship

Margus Veanes, Juhan Ernits and Colin Campbell

source

Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum

location of publication

[Tallinn]

publisher

[Tallinna Tehnikaülikool]

year of publication

2007

pages

lk. 43-46 : ill

subject term

tarkvara

modelleerimine (teadus)

isomorfismid (matemaatika)

ISBN

978-9985-59-700-2

notes

Bibliogr.: 10 nim

language

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.