Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Formal Methods



Book Title : The Z Notation: A Reference Manual, Second Edition
eBook download format(s) : html
ISBN-10 : 0139785299 
ISBN-13 : 978-0-139785-29-0 
Author(s) : J. M. Spivey
Publisher : Prentice Hall (Jun 1992)
Section : Formal Methods
Book Review:

Product Description
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.




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

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

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

Tell a Friend!

Similar Book titles in Formal Methods section:
Formal Specification and Documentation using Z: A Case Study Approach


Similar Book titles in Other sections:

Section: Applications
Inside Autocad 14 (Limited Edition)
Microsoft Access 97 Quick Reference
Microsoft Excel 97 Quick Reference


Section: Bio-Chemistry
Biotechnology Unzipped - National Academy Press
The Cell - A Molecular Approach 2nd edition
Developmental Biology, 6th Edition
Data Analysis and Visualization in Genomics and Proteomics
Medical Microbiology 4th Edition
Show all..


Section: CS -> Compilers and Languages
Using GCC: The GNU Compiler Collection Reference Manual
Programming from Specifications, Second Edition
Logic, Programming and Prolog, 2nd Edition


Section: Data Structures and Algorithms
Problems on Algorithms, 2nd Edition
Lecture Notes on Optimization
The Algorithm Design Manual: Hypertext Edition
Structure and Interpretation of Computer Programs - 2nd Edition
Efficient Algorithms for Sorting and Synchronization
Show all..


Section: CS -> Hardware
PCI Bus Demystified, Second Edition


Section: CS -> Theory
Computer Organization and Design Fundamentals
Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
The Secret Guide to Computers, 29th Edition
Trapped in the Net: The Unanticipated Consequences of Computerization
Global Optimization Algorithms - Theory and Application
Show all..


Section: DB -> DB / 2
DB2 Connect Enterprise Edition Quick Beginnings
SAMS DB2 Developer's Guide Fourth Edition
Call Level Interface Guide and Reference
DB2 API Reference


Section: DB -> Oracle
Oracle Performance Tuning and Optimization
Oracle8 SQL reference: Release 8.0
Special Edition Using Oracle Web Application Server 3
Oracle PL/SQL Programming, 2nd Edition
Oracle PL/SQL Built-ins Pocket Reference
Show all..


Section: DB -> Others
Special Edition Using Visual FoxPro 6
Database System Concepts, Fifth Edition
Relational Database Index Design and the Optimizers


Section: DB -> Postgre SQL
PostgreSQL Reference Manual
MySQL Reference Manual


Section: DB -> SQL
Teach Yourself SQL in 21 Days, Second Edition
Sams Teach Yourself Transact-SQL in 21 Days (2nd Edition)
SQL Reference


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


Section: Computer Hardware
Laptop Troubleshooting and PC Repair - Second Hand Laptop Computer Troubleshooting
Upgrading and Repairing PCs, Linux Edition (Upgrading & Repairing)


Section: Device Drivers
Linux Device Drivers, 2nd Edition
Writing Device Drivers: Reference


Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition
The VHDL Cookbook, First Edition
Verification Methodology Manual, 3rd Edition


Section: Microprocessor
Alpha 21164 Microprocessor Hardware Reference Manual
AlphaPC 264DP Technical Reference Manual
IA-32 Intel Architecture Software Developer's Manual Volume 2: Instruction Set Reference
IA-64 Assembly Language Reference Guide
Intel 80386 Programmer's Reference Manual 1986
Show all..


Section: Peripherals
3C359 Network Interface Card Technical Reference
EISA System Architecture Second Edition
Etherlink (3C501) Adapter Technical Reference
Serial Port Programming Information ZIP


Section: Internet
Connected: An Internet Encyclopedia, Third Edition
UNIX Unleashed, Internet Edition
Zen and the Art of the Internet
Special Edition Using the Internet, 4th Edition
Laura Lemay's Guide to Sizzling Web Sites
Show all..


Section: Advanced Java
Java Au Naturel - Guide to Object Oriented Design, 4th Edition
Java Developer's Reference
Java Virtual Machine Specification, Second Edition
Inside the Java Virtual Machine, 2nd Edition
Java Data Structures, 2nd Edition
Show all..


Section: Java Enterprise Edition
Mastering Enterprise JavaBeans, 2nd Edition
Programming Jakarta Struts, 2nd Edition
JBoss 3.2 Workbook for Enterprise JavaBeans 3rd Edition
WebLogic 6.1 Server Workbook for Enterprise JavaBeans (3rd Edition)
WebSphere 4.0 AEs Workbook for Enterprise JavaBeans (3rd Edition)
Show all..


Section: Java User Interface
Java AWT Reference


Section: Java Language
Java Language Reference
Java 2 Platform Power Reference
The Java Reference Library CD Bookshelf
Thinking in Java, 1st Edition
Java in a Nutshell, 2nd Edition
Show all..


Section: Java Networking
JNDI API Tutorial and Reference


Section: Life & Health
Quick Reference Dictionary for Massage Therapy and Bodywork
Complete Idiots Guide to Amazing Sex


Section: Magazines
The Desert Magazine - 1949 December
The Desert Magazine - 1949 October
The Desert Magazine - 1949 November
The Desert Magazine - 1949 September
The Desert Magazine - 1949 August
Show all..


Section: Mathematics
Elementary Algebra with Applications, 3rd Edition
Advanced Calculus, Revised Edition
Axiom - The 30 Year Horizon
Algorithms for Modular Elliptic Curves, Second Edition
Abramowitz and Stegun: Handbook of Mathematical Functions
Show all..


Section: Medical
Nutrition Almanac, 5th Edition


Section: Miscellaneous
MH & xmh: Email for Users & Programmers, 3rd Edition
Fundamentals of Piano Practice, 2nd Edition
The Z notation: A reference manual
Applied Cryptography: Protocols, Algorithms, and Source Code in C, 2nd Edition
Image Processing in C: Analyzing and Enhancing Digital Images
Show all..


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


Section: Microsoft Certifications
Networking Essentials Plus, Third Edition
Sybex - MCSA/MCSE Windows XP Professional Study Guide (70-270), 3rd Edition
Analyzing Requirements And Defining Solution Architectures MCSD Training
Microsoft A+ Certification Training Kit Second Edition


Section: Microsoft C Sharp (C#)
A Programmer's Introduction to C# (Second Edition)
Programming C# (2nd Edition)
C# Reference


Section: Microsoft .(dot) net
Introducing Microsoft .NET Second Edition
Building Secure ASP.NET Applications: Authentication, Authorization, and Secure Communication
MCAD/MCSD Self-Paced Training Kit: Developing Windows-Based Applications with Microsoft Visual Basic.NET and Microsoft Visual C#.NET, Second Edition
Exam 70-300 - Analyzing Requirements and Defining Microsoft .NET Solution Architectures


Section: Microsoft Windows Servers
Microsoft Windows Server 2003 TCP/IP Protocols and Services Technical Reference
Special Edition Using Microsoft Internet Information Server
Special Edition Using Microsoft Commercial Internet System


Section: Microsoft Visual Basic
How to Program Visual Basic 5.0: Control Creation Edition
Special Edition Using Visual Basic 4


Section: Microsoft Visual C++
Programming Visual C++, 5th Edition
Database Developer's Guide with Visual C++ 4, Second Edition
Special Edition Using Visual C++ 4.2
Special Edition Using Visual C++ 6


Section: Windows Development
Inside Microsoft Windows 2000 Third edition
Programming the Microsoft Windows Driver Model, Second Edition
Tricks of the Windows Game Programming Gurus (2nd Edition)


Section: Networking
Annotated Network Diagram Visualization using Tcl/Tk
Connected: An Internet Encyclopedia, 3rd Edition
DNS and BIND, 3rd Edition
TCP/IP Network Administration, 2nd Edition
The Age of the Network, Organizing Principles for the 21st Century
Show all..


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


Section: Other Engineering
Modern Antenna Design 2nd Edition


Section: GNU/Linux OS
Linux Device Drivers, 3rd Edition
Using Samba, 2nd Edition
Managing Projects with GNU make, 3rd Edition
Unix KornShell Quick Reference
Gnu Bash Reference Manual
Show all..


Section: Mac OS X
Mac OS X Power Hound Panther Edition
Mac OS X Unix 101 Byte-Sized Projects
Special Edition Using Mac OS X v10.3 Panther
Using Mac OS X v10.2, Special Edition
Mac OS X Power Tools, Second Edition
Show all..


Section: Embedded and RTOS
eCos Reference Manual
WindView User's Reference
BSP Reference
Tornado API Reference
VxWorks BSP Developer's Reference
Show all..


Section: Solaris OS
Solaris 8 Reference Manual Collection
Solaris 10 - The Complete Reference


Section: OS Theory
Operating Systems: Internals and Design Principles, Fourth Edition
An Operating Systems Vade Mecum, Second Edition
Modern Operating Systems 2nd Edition Andrew Tanenbaum


Section: Unix OS
UNIX Unleashed, System Admin's Edition
FreeBSD Handbook (2nd Edition)
Volume 7B: XView Reference Manual
The Complete FreeBSD, Fourth Edition


Section: Windows OS
Inside Windows 2000, Third Edition
Using Windows 98 Preview Edition
Windows 98 From A to Z
Windows 98 Professional Reference


Section: Physics
Fundamentals of Physical Geography, 2nd Edition
CRC Handbook of Chemistry and Physics, 87th Edition


Section: Assembly Language
Intel 80386 Programmer's Reference Manual
LLVM Assembly Language Reference Manual
MASM v6.11 Reference
Second Book of Machine Language
How to Optimize for the Pentium Microprocessors
Show all..


Section: C Language
A to Z of C - Beta (v0.0.11)
The C Programming Language (2nd Edition)
The C Answer Book (2nd Edition)
C Programming Reference, release 1.09
The C Library Reference Guide
Show all..


Section: COBOL Programming
ZingCOBOL: A Beginner's Guide to Programming in COBOL
Enterprise COBOL for z/OS and OS/390 IBM Language Reference
RM/COBOL Language Reference Manual
Enterprise COBOL for z/OS
Teach Yourself COBOL in 21 days, Second Edition
Show all..


Section: C++ Language
C++?? : A Critique of C++, 3rd Edition
Optimizing C++
The C++ Programming Language (3rd Edition)
Thinking in C++, 2nd Edition (Beta)
Thinking in C++, Volume 1: Introduction to Standard C++ (2nd Edition)
Show all..


Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
ZX81 BASIC Programming
Common Lisp the Language, 2nd Edition
Ada 95 Reference Manual
Object Oriented Software in Ada 95, Second Edition
Show all..


Section: Perl Scripting
Learning Perl, Second Edition
Perl 5 Quick Reference
Perl Cookbook, First Edition
Perl Pocket Reference, 4th Edition
Programming Perl, 3rd Edition
Show all..


Section: Scripting
Python Language Reference
Python Library Reference
The Scheme Programming Language, Second Edition
Mastering Regular Expressions, Second Edition
Python Imaging Library Handbook (2003 Edition)
Show all..


Section: Redbooks Draft
Communications Server for z/OS V1R7 TCP/IP, Volume 3
Using DCSS/XIP with Oracle 10g on Linux for System z
System i Application Modernization: Building a New Interface to Your Legacy Applications
IBM Tivoli Workload Scheduler for z/OS Best Practices
A Deep Blue View of DB2 Performance: IBM Tivoli OMEGAMON XE for DB2 Performance Expert on z/OS
Show all..


Section: Redbooks
SAP BW and DB2 for z/OS V8
IBM Virtualization Engine Platform Version 2 Technical Presentation Guide
IBM AIX 5L Reference for HP-UX System Administrators
Architecting High Availability Using WebSphere V6 on z/OS
Microsoft BizTalk to WebSphere Business Intergration Server Express Migration
Show all..


Section: IBM Technotes
SAP BW and DB2 for z/OS V8
FICON Quick Reference Guide for IBM/McDATA Directors
How to Set Up File Dependencies in a Tivoli Workload Scheduler for a z/OS End-to-End Environment
z/OS V1R7 DFSMShsm Support of Large Format Data Sets
z/OS V1R7 DFSMSrmm enterprise enablement
Show all..


Section: Redpapers
Problem Avoidance for WebSphere Application Server for z/OS
Introducing N_Port Identifier Virtualization for IBM System z9
Remodeling a Standard Store into the Extended Sites Model With WebSphere Commerce Business Edition V5.6.1
IBM System i Tools Innovation Program: Resource Guide for Modernization and Integration Tools for System i Applications
WebSphere Portal Server for Linux on zSeries and z9
Show all..


Section: Redpapers Draft
Advanced POWER Virtualization Best Practices
Virtual I/O Server Integrated Virtualization Manager
z/OS Planned IPL Avoidance Checklist
Integrated Virtualization Manager on IBM System p5
Domino 7 on Linux for IBM System z: Capacity Planning and Performance Updates
Show all..


Section: Software Engineering
Open Source Development with CVS, 3rd Edition
Using Z: Specification, Refinement, and Proof
Project Analyzer
Technical Concepts of Component-Based SE, 2nd Edition
Democratizing Innovation
Show all..


Section: Web Programming
Web Reference Library (Web Developer's Library)
JavaScript: The Definitive Guide, 2nd Edition
Creating Applications with Mozilla
Client-Side JavaScript 1.3 Reference
Core JavaScript 1.4 Reference
Show all..


Section: Web Technology
HTML: The Definitive Guide, 2nd Edition
Netscape HTML Tag Reference
Special Edition Using HTML 4
HTML Style Sheets Quick Reference
HTML 4.0 Reference
Show all..


Section: XML, XSL & UML
Learning XML, 2nd Edition
Groud Zero XML Tutorial
XUL Programmer's Reference Manual
Special Edition Using SGML
XML in a Nutshell, 2nd Edition
Show all..


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions