Lanean...
Computer programming and formal systems.
| Egile nagusia: | Braffort, P.ed |
|---|---|
| Beste egile batzuk: | Hirschberg, D. |
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Amsterdam,
North-Holland Pub. Co.,
1970.
|
| Gaiak: |
Antzeko izenburuak
-
Computer Programming and Formal Systems
nork: Braffort P. and Hirschberg D.
Argitaratua: (1970) -
Formal models in programming
nork: Neuhold, E J
Argitaratua: (1985) -
Formal methods of program verification and specification
nork: H K Berg, et al.
Argitaratua: (1982) -
Computer programming in basic
nork: Grover, P.S
Argitaratua: (1985) -
Elements of computer programming
nork: Chhabra, P D
Argitaratua: (1970)