Povej prijatelju o tem izdelku:
On the Shape of Mathematical Arguments - Lecture Notes in Computer Science Antonetta J.m.van Gasteren 1990 Edition
On the Shape of Mathematical Arguments - Lecture Notes in Computer Science
Antonetta J.m.van Gasteren
Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms.
196 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 24. julija 1990 |
| ISBN13 | 9783540528494 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 196 |
| Dimenzije | 155 × 233 × 10 mm · 285 g |
| Jezik | Angleščina |
| Sodelujoči | Edsger W. Dijkstra |
Božična darila lahko vrnete do 31. januarja