... Lees meer.

This thought-provoking book exhorts planners to establish community development programs that achieve greater social and economic equity. Some of the 13 chapters urge planners to incorporate community equity concerns into traditional planning areas such as transportatio... Lees meer.

A handbook to the Coq software for writing and checking mathematical proofs with a practical engineering focus.The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science and related tools for for... Lees meer.

... Lees meer.

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs CPP 2013 colocated with APLAS 2013 held in Melbourne Australia in December 2013. The papers are organized in topical sections on code verification... Lees meer.