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
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2007
leheküljed
p. 112-127 : ill
märksõna
tarkvara
modelleerimine (teadus)
isomorfismid (matemaatika)
ISBN
978-3-540-73195-5
märkused
(Lecture notes in computer science ; 4574). Bibliogr.: 27 ref
keel
inglise
Veanes, M., Ernits, J., Campbell, C. State isomorphism in model programs with abstract data structures // Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. Berlin : Springer, 2007. p. 112-127 : ill.