On the Shape of Mathematical Arguments - Lecture Notes in Computer Science - Antonetta J.m.van Gasteren - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540528494 - July 24, 1990
In case cover and title do not match, the title is correct

On the Shape of Mathematical Arguments - Lecture Notes in Computer Science 1990 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20
Add to your iMusic wish list

Not rated yet

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 24, 1990
ISBN13 9783540528494
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 196
Dimensions 155 × 233 × 10 mm   ·   285 g
Language English  
Contributor Edsger W. Dijkstra

Mere med samme udgiver