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
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16
Add to your iMusic wish list

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