The Way of Z: Practical Programming with Formal Methods

Z (pronounced zed) is a formal notation for specifying and designing computer systems and software. Formal methods are u...
Author:  Jonathan Jacky

581 downloads 2693 Views 9MB 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

Practical Database Programming with Java ffirs01.indd i 7/20/2011 11:12:56 AM IEEE Press 445 Hoes Lane Piscataway, ...

Formal Methods for CONCURRENCY Dedicated to my father, Sydney Fencott (1924-1993) JOIN US ON THE INTERNET VIA WWW, ...

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 2335 3 Berlin Heidelberg New Y...

Practical Database Programming With Visual C#.NET IEEE Press 445 Hoes Lane Piscataway, NJ 08854 IEEE Press Editorial ...

Practical Artificial Intelligence Programming With Java Third Edition Mark Watson Copyright 2001-2008 Mark Watson. All r...

This page intentionally left blank Practical Database Programming with Visual Basic.NET This book teaches readers how...