| LDR | 01263nam a2200385Ka 4500 | ||
| 001 | 010130733 | ||
| 003 | MiAaHDL | ||
| 005 | 20150330000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 991104s1985 nyu b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a 84003528 |
| 020 | ⊔ | ⊔ | ‡a0442263228 |
| 035 | ⊔ | ⊔ | ‡asdr-nrlf.b171683493 |
| 035 | 0 | ⊔ | ‡a(CSCI)2 ‡b3 ‡c3 ‡d3 ‡e3 |
| 035 | ⊔ | ⊔ | ‡a(SBN)ABS1160 |
| 035 | ⊔ | ⊔ | ‡a(UCD)ACJ-2400 |
| 035 | ⊔ | ⊔ | ‡a(SBN)ABS1160 |
| 035 | ⊔ | ⊔ | ‡a(CStRLIN)CASX10457374-B |
| 035 | ⊔ | ⊔ | ‡aGLADN184799810 |
| 035 | ⊔ | ⊔ | ‡a(CSCI)b10064369 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡cDLC ‡dCU-SB ‡dCStRLIN |
| 050 | 0 | ⊔ | ‡aQA76.6 ‡b.M5217 1985 |
| 082 | 0 | ⊔ | ‡a001.64/2 ‡219 |
| 090 | ⊔ | ⊔ | ‡aQA76.6 ‡b.M5217 1985 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)10457374 |
| 100 | 1 | 0 | ‡aMili, Ali. |
| 245 | 1 | 3 | ‡aAn introduction to formal program verification / ‡cAli Mili. |
| 260 | 0 | ⊔ | ‡aNew York : ‡bVan Nostrand Reinhold Co., ‡cc1985. |
| 300 | ⊔ | ⊔ | ‡axii, 291 p. ; ‡c24 cm. |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographies and index. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aComputer programs ‡xVerification. |
| CID | ⊔ | ⊔ | ‡a010130733 |
| DAT | 0 | ⊔ | ‡a19140701000000.0 ‡b20150330000000.0 |
| DAT | 1 | ⊔ | ‡a20150510224105.0 ‡b2024-08-09T18:08:49Z |
| DAT | 2 | ⊔ | ‡a2024-08-09T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-NRLF ‡dIII - MILLENIUM ‡lloader.pl-003-020 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-nrlf.b171683493 ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b3678369 ‡sUC ‡1.b171683493 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cNRLF ‡d20240809 ‡sgoogle ‡uuc1.b3678369 ‡y1985 ‡ric ‡qbib ‡tUS bib date1 >= 1929 |