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) programmering teori verifikasjon brukere edb-programmer verifisering programutvikling in217 |
| Dewey | |
| ISBN | 0139510621
|
- Nasjonalbiblioteket: Depotbiblioteket har 0 av 0 ledig (Oppdaterer)
- NTNU Universitetsbiblioteket: Biblioteket Gjøvik har 0 av 0 ledig (Oppdaterer)
- NTNU Universitetsbiblioteket: Dorabiblioteket har 0 av 0 ledig (Oppdaterer)
- NTNU Universitetsbiblioteket: Teknologibiblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: HumSam-biblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: Realfagsbiblioteket. Informatikk har 5 av 6 ledig
- Universitetsbiblioteket i Bergen: Bibliotek for naturvitenskap og teknologi har 1 av 1 ledig