Foundations of program verification, by Jacques Loeckx and Kurt Sieber
Loeckx, Jacques.| Call Number | 001.642 L82F |
| Author | Loeckx, Jacques. |
| Title | Foundations of program verification, by Jacques Loeckx and Kurt Sieber |
| Edition | 2d |
| Publication | Stuttgart B.G. Teubner 1987 |
| Physical Description | 230p. |
| Series | Wiley-Teubner series in computer science. |
| Added Author | Sieber, Kurt. |
| Subject | COMPUTER PROGRAMS - VERIFICATION |
Total Ratings:
0
00651 amaa2200229zu 4500
001
vtls000001521
003
VRT
005
20030627191100.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 101494
039
9
$a 200306271911 $b VLOAD $y 200206011012 $z VLOAD
040
$a VTLS
082
1
0
$a 001.642 $b L82F
100
1
$a Loeckx, Jacques.
245
1
$a Foundations of program verification, $c by Jacques Loeckx and Kurt Sieber
250
$a 2d
260
$a Stuttgart $b B.G. Teubner $c 1987
300
$a 230p.
440
$a Wiley-Teubner series in computer science.
650
0
$a COMPUTER PROGRAMS - VERIFICATION
700
1
$a Sieber, Kurt.
999
$a VIRTUA00
No Reviews to Display
| Subject | COMPUTER PROGRAMS - VERIFICATION |