Loading...
Formal methods of program verification
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
New Jersey
Prentice-Hall
|
| LEADER | 00518nam a2200169 a 4500 | ||
|---|---|---|---|
| 005 | 20160322165145.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 020 | |a 0133288072 | ||
| 041 | |a eng | ||
| 082 | |a 004.415.5 BER | ||
| 100 | |a Berg,H.K. |9 1835 | ||
| 245 | |a Formal methods of program verification | ||
| 260 | |a New Jersey |b Prentice-Hall | ||
| 300 | |a ix,207 | ||
| 942 | |c BK |6 _ | ||
| 999 | |c 155182 |d 155182 | ||
| 952 | |0 0 |1 0 |4 0 |6 0044155_BER |7 0 |9 203075 |a DCS |b DCS |c GEN |d 2013-09-07 |o 004.415.5 BER |p MCS00755 |r 2013-09-07 |w 2016-03-22 |y BK | ||