Data refinement, model-oriented proof methods and their comparison
Roever, Willem-Paul de
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt. - Cambridge, UK : Cambridge University Press , cop. 1998 . - XI, 423 p. : il. ; 24 cm. - (Cambridge Tracts in Theoretical Computer Science) ; 47
ISBN 0-521-64170-5
Simulação por computador
Estruturas de dados (Informática)
Software
LCC QA76.9
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt. - Cambridge, UK : Cambridge University Press , cop. 1998 . - XI, 423 p. : il. ; 24 cm. - (Cambridge Tracts in Theoretical Computer Science) ; 47
ISBN 0-521-64170-5
Simulação por computador
Estruturas de dados (Informática)
Software
LCC QA76.9