
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