|
" Program verification / "
Francez Nissim
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
625023
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Francez, Nissim
|
| Title & Author
|
:
|
Program verification /\ Francez Nissim
|
| Series Statement
|
:
|
International computer science series
|
| Page. NO
|
:
|
xi, 312 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
0201416085
|
|
|
:
|
: 9780201416084
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 295-303) and index
|
| Subject
|
:
|
Computer software-- Verification
|
| Dewey Classification
|
:
|
005.1/4
|
| LC Classification
|
:
|
QA76.76.V47F73 1992
|
| |