Program correctness over abstract data types, with error state semantics by J.V.Tucker and J.I.Zucker
Tucker, J.V.| Call Number | 001.6424 T79P |
| Author | Tucker, J.V. |
| Title | Program correctness over abstract data types, with error state semantics by J.V.Tucker and J.I.Zucker |
| Publication | Amsterdam North Holland 1988 |
| Physical Description | 212p. |
| Series | CWI Monographs |
| Added Author | Zucker, J.I. |
| Subject | COMPUTER PROGRAMMING LANGUAGE |
Total Ratings:
0
00630 amaa2200217zu 4500
001
vtls000003944
003
VRT
005
20030627192300.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 103917
039
9
$a 200306271923 $b VLOAD $y 200206011028 $z VLOAD
040
$a VTLS
082
1
0
$a 001.6424 $b T79P
100
1
$a Tucker, J.V.
245
1
$a Program correctness over abstract data types, with error state semantics $c by J.V.Tucker and J.I.Zucker
260
$a Amsterdam $b North Holland $c 1988
300
$a 212p.
440
$a CWI Monographs
650
0
$a COMPUTER PROGRAMMING LANGUAGE
700
1
$a Zucker, J.I.
999
$a VIRTUA00
No Reviews to Display
| Subject | COMPUTER PROGRAMMING LANGUAGE |