Abstract interpretation of declarative languages edited by Samson Abramsky and Chris Hankin
Abramsky, Samson, ed.| Call Number | 001.642 Ab83A |
| Author | Abramsky, Samson, ed. |
| Title | Abstract interpretation of declarative languages edited by Samson Abramsky and Chris Hankin |
| Publication | Chichester Ellis Horwood 1987 |
| Physical Description | 284p. |
| Series | Ellis horwood series in computers and their applications. |
| Added Author | Hankin, Chris, ed. |
| Subject | COMPUTER PROGRAMS - VALIDATION STRUCTURED PROGRAMMING |
Total Ratings:
0
00719 amaa2200229zu 4500
001
vtls000001553
003
VRT
005
20030627191100.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 101526
039
9
$a 200306271911 $b VLOAD $y 200206011012 $z VLOAD
040
$a VTLS
082
1
0
$a 001.642 $b Ab83A
100
1
$a Abramsky, Samson, ed.
245
1
$a Abstract interpretation of declarative languages $c edited by Samson Abramsky and Chris Hankin
260
$a Chichester $b Ellis Horwood $c 1987
300
$a 284p.
440
$a Ellis horwood series in computers and their applications.
650
0
$a COMPUTER PROGRAMS - VALIDATION
650
0
$a STRUCTURED PROGRAMMING
700
1
$a Hankin, Chris, ed.
999
$a VIRTUA00
No Reviews to Display
| Subject | COMPUTER PROGRAMS - VALIDATION STRUCTURED PROGRAMMING |