Related Books

Program Construction and Verification
Language: en
Pages: 304
Authors: Roland C. Backhouse
Categories: Computers
Type: BOOK - Published: 1986 - Publisher: Prentice Hall

GET EBOOK

Program Construction
Language: de
Pages: 356
Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2003-05-07 - Publisher: John Wiley & Sons

GET EBOOK

Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of m
Mathematics of Program Construction
Language: en
Pages: 435
Authors: Claude Bolduc
Categories: Computers
Type: BOOK - Published: 2010-06 - Publisher: Springer Science & Business Media

GET EBOOK

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic fo
Mathematics of Program Construction
Language: en
Pages: 336
Authors: Ralf Hinze
Categories: Computers
Type: BOOK - Published: 2015-06-09 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Ger
Program Construction
Language: en
Pages: 661
Authors: F.L. Bauer
Categories: Computers
Type: BOOK - Published: 2005-11-23 - Publisher: Springer

GET EBOOK