Constraint-based verification of imperative programs
Beyene, Tewodros Awgichew
Constraint-based verification of imperative programs / Tewodros Awgichew Beyene. - Monte de Caparica : T. A. B. , 2011 . - XIV, 84 p. : il. ; 31 cm + 1 CD-ROM.
Clicar aqui para aceder a um recurso externo
ISBN
Lógica computacional
LCC QA76.63
Constraint-based verification of imperative programs / Tewodros Awgichew Beyene. - Monte de Caparica : T. A. B. , 2011 . - XIV, 84 p. : il. ; 31 cm + 1 CD-ROM.
Clicar aqui para aceder a um recurso externo
ISBN
Lógica computacional
LCC QA76.63