Constraint-based verification of imperative programs / Tewodros Awgichew Beyene
Language: eng.Country: Portugal.Publication: Monte de Caparica : T. A. B., 2011Description: XIV, 84 p. : il. ; 31 cm + 1 CD-ROMThesis: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica Computacional.Subject - Topical Name: Lógica computacional , Teses Online Resources:Click here to access onlineItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca NOVA FCT Sala laranja/Piso 1 | Não Ficção | QA76.63.BEY FCT 76588 (Browse shelf(Opens below)) | 1 | Available | 0062776 |
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica Computacional
There are no comments on this title.
Log in to your account to post a comment.