Program variables : the core of mechanical reasoning about imperative programs /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Turku, Finland :
Dept. of Information Technologies, Åbo Akademi University,
2006
|
| Series: | TUCS dissertations ;
no.79 |
| Subjects: |
| Item Description: | This WorldCat-derived record is shareable under Open Data Commons ODC-BY, with attribution to OCLC |
|---|---|
| Physical Description: | vi, 124 p. ; 25 cm |
| Bibliography: | Includes bibliographical references (p. 117-124) |
| ISBN: | 9521217855 9789521217852 |
| ISSN: | 1239-1883 ; |