Mathematical theory of program correctness.
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Englewood Cliff, New Jersey
Prentice Hall International
|
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Englewood Cliff, New Jersey
Prentice Hall International
|