| Shelfclass_id | 3.D.1 |
| Sortkey | FRANCEZ, NISSIM |
| Authors | Nissim Francez |
| Title | Program Verification |
| Publisher | Addison-Wesley |
| Year | c1992 |
| Languages | eng |
| Isbn | 0201416085 |
| Series | International computer science series |
| Description | xi, 312 p. ill. 24 cm |
| Record date | 20060629 |
| Location | Reading, Mass. |
| Keywords | Computer software |