Campbell, Colin (author)

types of item

  • book article
    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
    book article
  • book article
    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
    book article
Number of records 2, displaying 1 - 2