Lanean...
Algorithms: the construction, proof, and analysis of programs/
| Egile nagusia: | Berlioux, Pierre |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
New York:
John-Wiley & Sons
1987
|
Antzeko izenburuak
-
Algorithms : the construction, proof, and analysis of programs /
nork: Berlioux, Pierre
Argitaratua: (1986) -
Algorithms :The Construction ,Proof And Analysis Of Programs
nork: Pierrie Berlioux, Philippe Bizard
Argitaratua: (1987) -
Algorithms and their construction : Computer hardware /
nork: Open University Course Team
Argitaratua: (1975) -
Constructing algorithms: an introduction to structured programming /
nork: Keller, Roy.F
Argitaratua: (1975) -
Lectures on proof verification and approximation algorithms
nork: Mayr, Ernst W
Argitaratua: (1998)