Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

...
Author:  John Wordsworth
95 downloads 937 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

DOWNLOAD DJVU

Recommend Documents

swenotes-FM 978-0-521-87903-3 Top Margin: Gutter Margin: November 11, 2008 10:32 This page intentionally left bla...
This page intentionally left blank Practical Formal Software Engineering Practical Formal Software Engineering is a ...
Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen Advisory Board: W. Brauer D. Gries...
Software Engineering A PRACTITIONER’S APPROACH McGraw-Hill Series in Computer Science Senior Consulting Editor C. L....
Software Engineering (A Lifecycle Approach) This page intentionally left blank Software Engineering (A Lifecycle Ap...
Software Engineering A PRACTITIONER’S APPROACH McGraw-Hill Series in Computer Science Senior Consulting Editor C. L....
SOFTWARE ENGINEERING AND DEVELOPMENT No part of this digital document may be reproduced, stored in a retrieval system o...
Formal Software Development From VDM to Java Quentin Charatan and Aaron Kans Formal Software Development FORMAL SOF...
Software Measurement and Estimation A Practical Approach Linda M. Laird M. Carol Brennan A John Wiley & Sons, Inc., P...