Related Books
Language: en
Pages: 281
Pages: 281
Type: BOOK - Published: 2012-12-02 - Publisher: Academic Press
A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which und
Language: en
Pages: 360
Pages: 360
Type: BOOK - Published: 1994 - Publisher:
Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a
Language: en
Pages: 433
Pages: 433
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica
Language: en
Pages: 288
Pages: 288
Type: BOOK - Published: 1991-01-28 - Publisher: Academic Press
This book gives an introduction to the specification of programs, and some techniques that may be used to prove correctness of programs. Before mentioning any p
Language: en
Pages: 390
Pages: 390
Type: BOOK - Published: 1999 - Publisher: Addison-Wesley
Based on Hanson and Rischel's introductory programming course in the Informatics Programme at the Technical University of Denmark, Using Standard ML (Meta Langu