An introduction to formal program verification Ali Mili
Material type: TextPublication details: New York Van Nonstrand Reinhold Company Limited 1985Description: 291 p. 24 cmISBN:- 442263228
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | MOSTI Library Open shelf | Open Collection | 1.642 MIL (Browse shelf(Opens below)) | Available | 003133 |
There are no comments on this title.