Correct-program technology/extensibility of verifiers. Two papers on program verification. By martin davis and j.T. Schwartz Davis,Martin
Material type:
TextPublication details: New York; New York University; 1977Description: 133 pagesSubject(s): DDC classification: - 005.14 DAV-C 1977
| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Book | Government Punjab Public Library Lahore General Information | English Section | 005.14 DAV-C 1977 (Browse shelf(Opens below)) | Available | GPPL-E-1009100227 |
In English
There are no comments on this title.
Log in to your account to post a comment.