The B-book : assigning programs to meanings
J.-R. Abrial
Bok Engelsk 1996 Jean-Raymond Abrial
| Utgitt | Cambridge : Cambridge University Press , 1996
|
|---|---|
| Omfang | XXXIV, 779 s. : ill.
|
| Emner | Programmeringsmetodikk
Programmeringsteknikker : (NO-TrBIB)REAL010135 Programspesifikasjon Programverifikasjon bmetoden programutvikling bevis vertifikasjon |
| ISBN | 0521496195
|
