Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992
| Utgitt | New York : Prentice Hall , 1992
|
|---|---|
| Omfang | IX, 269 s.
|
| Emner | Computer programs - Verification
Logikk Programmering Programutvikling Vis mer... Programverifikasjon
Verifikasjon (Databehandling) Logikk((NO-TrBIB)HUME00704) Programmering((NO-TrBIB)HUME04241) Programverifikasjon((NO-TrBIB)REAL007699) Verifikasjon (Databehandling)((NO-TrBIB)HUME04283) programmering teori verifikasjon brukere edb-programmer verifisering programutvikling in217 |
| Dewey | |
| ISBN | 0139510621
|
