State isomorphism in model programs with abstract data structures (pealkiri)

—
—
—
—
Lisa tingimus Liitotsing filter
Tühista
teaviku laadid

Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Tühista
  • artikkel kogumikus
    State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinFormal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings2007 / p. 112-127 : ill
    artikkel kogumikus
  • artikkel kogumikus
    State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 43-46 : ill
    artikkel kogumikus
Kirjeid leitud 2, kuvan 1 - 2