Rigorous Software Development: An Introduction to Program Verification

Undergraduate Topics in Computer Science Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instr...

126 downloads 510 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

An Introduction To Open Source Software Development Steffen Evers Berlin, 13th August 2000 c 2000 by Steffen Evers Cop...

AN INTRODUCTION TO COMMUNITY DEVELOPMENT AN INTRODUCTION TO COMMUNITY DEVELOPMENT Edited by Rhonda Phillips and Robe...

AN INTRODUCTION TO COMMUNITY DEVELOPMENT AN INTRODUCTION TO COMMUNITY DEVELOPMENT Edited by Rhonda Phillips and Robe...

A N I N T R O D U C T I O N T O SUSTAINABLE DEVELOPMENT Sustain Dev.indb 1 02/10/2007 09:30:53 Sustain Dev.indb ...

AN INTRODUCTION TO COMMUNITY DEVELOPMENT AN INTRODUCTION TO COMMUNITY DEVELOPMENT Edited by Rhonda Phillips and Robe...

introtest CUUS047-Ammann ISBN 9780521880381 December 6, 2007 2:42 This page intentionally left blank i Char Count...

introtest CUUS047-Ammann ISBN 9780521880381 December 6, 2007 2:42 This page intentionally left blank i Char Count...

Contributors Victor R. Basili is a Professor of Computer Science at the University of Maryland, College Park. He holds...

CVR_POTT8273_03_SE_CVR.qxd 4/23/08 1:29 PM Page 1 GEOGRAPHIES OF DEVELOPMENT AN INTRODUCTION TO DEVELOPMENT STUDIES ...