Lanean...
Algorithms: the construction, proof, and analysis of programs/
| Egile nagusia: | |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
New York:
John-Wiley & Sons
1987
|
| Deskribapen fisikoa: | ix, 144p.; |
|---|---|
| ISBN: | 0 471 90844 4 |