From the Back Cover
This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.

add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options

eBook Version	Buy this book from Amazon

Missing Link?, Report It and you may wish to  Buy  this book from amazon



Similar Book titles in Other Programming section:
Special Edition Using Microsoft Visual Studio
Common Lisp: An Interactive Approach (Principles of Computer Science Series)
Using C and C++ with Fortran
Stack Computers: the new wave


Similar Book titles in Other sections:

Section: CS -> Compilers and Languages
Using GCC: The GNU Compiler Collection Reference Manual
Compiler Construction Using Flex and Bison


Section: Data Structures and Algorithms
Introduction to Computer Graphics
Concepts, Techniques, and Models of Computer Programming
Design and Analysis of Computer Algorithms
Computers, Graphics, & Learning
Structure and Interpretation of Computer Programs - 2nd Edition
Show all..


Section: Formal Methods
Formal Specification and Documentation using Z: A Case Study Approach


Section: Multimedia & Game Development
Simulating Humans: Computer Graphics Animation and Control
So you want to be a Computer Game Developer?


Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Notes
Advanced Computer Architecture Tutorials
Computer Structures: Principles and Examples
Computer Structures: Readings and Examples
Show all..


Section: CS -> Theory
Introduction to Computer Science I
Foundations of Computer Science
An Introduction to the Theory of Computation (Principles of Computer Science Series)
How to Think Like a Computer Scientist: Learning with Python
How to Think Like a Computer Scientist: Learning with LOGO
Show all..


Section: DB -> Oracle
Using Oracle8
Special Edition Using Oracle Web Application Server 3
Oracle Data Warehousing Unleashed


Section: DB -> Others
Teach Yourself Intrabuilder in 21 Days (Teach Yourself Series)
Special Edition Using Visual FoxPro 6


Section: DB -> Postgre SQL
Build Your Own Database Driven Website Using PHP and MySQL


Section: DB -> SQL Server
Special Edition Using Microsoft SQL Server 6.5 (2nd Edition)


Section: Computer Hardware
The Hand-Me-Down PC: Upgrading and Repairing Personal Computers
Beginning Computer Hardware Guide
Scott Mueller Library - Computer Dictionary
Using PCs
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
Show all..


Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition


Section: Internet
The XML Files : Using XML for Business-to-Business and Business-to-Consumer Applications
Using Microsoft Exchange Server
Special Edition Using the Internet, 4th Edition
Computer Security Basics 2nd Edition
Google Hacks: Tips & Tools for Finding and Using the World's Information
Show all..


Section: Advanced Java
Java Virtual Machine Specification, Second Edition
Introduction to Computer Science Using Java
Concurrent Programming Using Java
Java Virtual Machine Specification, First Edition


Section: Java Enterprise Edition
Tutorial For Building j2Ee Applications Using Jboss And Eclipse


Section: Java Language
Introduction to Programming Using Java
Special Edition Using Java 1.1, 3rd Edition
Special Edition Using Java, 2nd Edition


Section: Java Micro Edition
Using WebSphere Studio Device Developer to Build Embedded Java Applications


Section: Java Tools
Creating Java Applications using NetRexx
Using VisualAge for Java Enterprise Version 2 to Develop CORBA & EJB Applications
e-business Application Solutions Using Java: Volume I
Intentia Movex Java on the IBM iSeries Server: An Implementation Guide


Section: Mathematics
Mathematical Foundations of Computer Science
Implementing Mathematics with The Nuprl Proof System
Vector Math for 3D Computer Graphics - An Interactive Tutorial
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving
Show all..


Section: Miscellaneous
The Art of Computer Game Design
Computer Vision and Image Processing
Academic Careers for Experimental Computer Scientists and Engineers
Moths to the Flame : The Seductions of Computer Technology
Systematic Software Development Using VDM, 2nd Edition
Show all..


Section: Sales, Marketing & Trading
Marketing Insights from A to Z: 80 Concepts Every Manager Needs to Know


Section: Microsoft Windows Servers
Special Edition Using Microsoft Internet Information Server
Special Edition Using Microsoft Commercial Internet System


Section: Microsoft Visual Basic
Using Visual Basic 6
Special Edition Using Visual Basic 4


Section: Microsoft Visual C++
Special Edition Using Visual C++ 4.2
Special Edition Using Visual C++ 6


Section: Networking
Annotated Network Diagram Visualization using Tcl/Tk
Introduction to Computer, Internet & Network Systems Security
Computer Networks and Internets
Computer Networks
IP Routing Fundamentals (The Cisco Press Fundamental Series)
Show all..


Section: Novels
The Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary


Section: Other Engineering
Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)


Section: GNU/Linux OS
Using Samba
Using Samba, 2nd Edition


Section: Mac OS X
Special Edition Using Mac OS X v10.3 Panther
Using Mac OS X v10.2, Special Edition


Section: Embedded and RTOS
Real-time Systems Specification, Verification and Analysis


Section: Windows OS
Using Windows 98 Preview Edition
Using Windows NT Workstation 4.0


Section: Assembly Language
UNIVAC 1100 Series Instruction Set
The Art of Computer Programming


Section: C Language
Programming in C, UNIX System Calls and Subroutines Using C


Section: C++ Language
Introduction to Object-Oriented Programming Using C++
Software Engineering using C++
Software Design Using C++
Language Translation Using PCCTS & C++


Section: Scripting
Using csh & tcsh
Learning to Program Using Python
Concrete Abstractions: An Introduction to Computer Science Using Scheme
Building Skills in Programming - How To Write Your Own Software Using Python


Section: Smalltalk
Practical Smalltalk: Using Smalltalk/V
Smalltalk: An Introduction to Application Development Using VisualWorks


Section: Redbooks Draft
The IBM System Storage N Series
Using DCSS/XIP with Oracle 10g on Linux for System z
Deployment Guide Series: IBM Change Configuration Management Database Configuration Discovery and Tracking Server v1.1
Deploying IBM Workplace Collaboration Services on the IBM eServer iSeries Server
WebSphere Replication Server Using Q Replication: High Availability Scenarios for the AIX Platform
Show all..


Section: Redbooks
Enabling SOA Using WebSphere Messaging
Architecting High Availability Using WebSphere V6 on z/OS
Certification Study Guide - pSeries AIX System Administration
Certification Study Guide - pSeries AIX System Support
IBM eServer i5, iSeries, and AS/400e System Builder IBM i5/OS Version 5 Release 3 - October 2005
Show all..


Section: IBM Technotes
Journaling at object creation on DB2 for iSeries
Migrating from Hierarchical File Systems to zSeries File Systems
Journaling ? Journal Receiver Diet tip 2: Consider using skinny headers


Section: Redpapers
PCI and PCI-X Placement Rules for IBM System i5, eServer i5, and iSeries servers with i5/OS V5R4 and V5R3
Benchmarking MOM4 on IBM eServer pSeries Clusters
Veritas Storage Foundation for Oracle 9i RAC and DB2 UDB V8 on IBM eServer pSeries
WebSphere Message Broker V6, Best Practices Guide: Bullet Proofing Message Flows
Tips and Techniques for Using TCP/IP on i5/OS
Show all..


Section: Redpapers Draft
Best Practices for Using WBI Modeler and Monitor
IBM System Storage N Series Implementation of RAID Double Parity for Data Protection
N Series SnapManager with Microsoft Exchange
Veritas Storage Foundation for Oracle 9i RAC and DB2 UDB V8 on IBM pSeries
WebSphere Message Broker V6 Best Practices Guide: Bullet Proofing Message Flows
Show all..


Section: Software Engineering
Using Z: Specification, Refinement, and Proof
Supercomputers: Directions in Technology and Applications
Enterprise Solution Patterns Using Microsoft .NET: Version 2.0


Section: Web Programming
Special Edition Using CGI
Special Edition Using Perl 5 for Web Programming
Using Informix Dynamic Server with WebSphere
Special Edition Using Microsoft Visual InterDev


Section: Web Technology
Special Edition Using HTML 4
Using HTML 3.2, Java 1.1, and CGI
Special Edition Using HTML, 2nd Edition
Graphics & Web Page Design (Laura Lemay's Web Workshop Series)


Section: XML, XSL & UML
The XML Files: Using XML for B2B and B2C Applications
Using OASIS OpenDocument XML
Special Edition Using SGML


Similar Books from Amazon :