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 : Formal Specification and Documentation using Z: A Case Study Approach
eBook download format(s) : html
ISBN-10 : 1850322309 
ISBN-13 : 978-1-850322-30-6 
Author(s) : Jonathan Bowen
Publisher : Intl Thomson Computer Pr (Sd) (Feb 1996)
Section : Formal Methods


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:


Similar Book titles in Other sections:

Section: Bio-Chemistry
The Cell - A Molecular Approach 2nd edition


Section: CS -> Compilers and Languages
Semantics with Applications: A Formal Introduction
Using GCC: The GNU Compiler Collection Reference Manual
Programming from Specifications, Second Edition
Compiler Construction Using Flex and Bison
The Design of Functional Programs - A Calculational Approach
Show all..


Section: Data Structures and Algorithms
Average Case Analysis of Algorithms on Sequences


Section: Multimedia & Game Development
Blender Documentation Volume I - User Guide


Section: CS -> Theory
Quantitative System Performance - Computer System Analysis Using Queueing Network Models
Applicative Programming and Specification
Discovering Information Systems An Exploratory Approach


Section: DB -> Datawarehousing
Information Modeling: Specification and Implementation


Section: DB -> Oracle
Using Oracle8
Special Edition Using Oracle Web Application Server 3
Oracle Data Warehousing Unleashed
OCA: Oracle 10g Administration Study Guide


Section: DB -> Others
Special Edition Using Visual FoxPro 6


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


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


Section: Computer Hardware
Using PCs


Section: Device Drivers
Data Link Provider Interface (DLPI) Specification
Device Driver Hardening Design Specification
Generic LAN Driver (GLD) Documentation
The Mobius Operating System: Documentation: Device Driver Book
UDI IA-32/IA-64 ABI Binding Specification Version 1.01
Show all..


Section: Logic Design and Architecture
Digital Logic Design Study Guide


Section: Peripherals
Accelerated Graphics Port Interface Specification
Advanced Configuration and Power Interface Specification Revision 2.0c
MultiRead Specification for CD-ROM, CD-R, CD-R/RW and DVD-ROM Devices
Plug and Play ISA Specification Version 1.0a
Plug and Play BIOS Specification Version 1.0A
Show all..


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
Google Hacks: Tips & Tools for Finding and Using the World's Information


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
SCJP Exam for J2SE 5: A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam
Show all..


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


Section: Java User Interface
Java 3D API Specification


Section: Java Language
Introduction to Programming Using Java
Special Edition Using Java 1.1, 3rd Edition
Special Edition Using Java, 2nd Edition
Java Language Specification
Java, an Object First Approach
Show all..


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


Section: Miscellaneous
A Gentle Introduction to TeX, a Manual for Self-study
Image Processing and Data Analysis: The Multiscale Approach
Computational Complexity: A Modern Approach
Systematic Software Development Using VDM, 2nd Edition
Cryptanalysis of RSA Using Algebraic And Lattice Methods
Show all..


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


Section: Microsoft Certifications
MCSD Study guide
Sybex - MCSA/MCSE Windows XP Professional Study Guide (70-270), 3rd Edition


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
Internetworking Case Study
BGP Case studies
Cisco CCIE Fundamentals: Network Design & Case Studies
CCIE: Cisco Certified Internetwork Expert Study Guide
Show all..


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


Section: GNU/Linux OS
Using Samba
Using Samba, 2nd Edition
RHCE Red Hat Certified Engineer Linux Study Guide (Exam RH302), Fourth Edition
The Linux Documentation Project (LDP)


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
Embedded System Design: A Unified Hardware/Software Approach


Section: OS Theory
BIOS Boot Specification Version 1.01
Plug and Play BIOS Specification Version 1.0A
The Mobius Operating System: Documentation: Device Driver Book
NTFS Documentation
FAT32 File System Specification
Show all..


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


Section: Assembly Language
ELF Format Documentation


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++
C++ Coding Standard Specification
Software Design Using C++
Language Translation Using PCCTS & C++
Show all..


Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Special Edition Using Microsoft Visual Studio
Ada: A Developmental Approach (LAW: Learn Ada on the Web)
Common Lisp: An Interactive Approach (Principles of Computer Science Series)
Interactive Fortran 77: A Hands-On Approach
Show all..


Section: Perl Scripting
Perl Documentation


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
IBM System p5 Approaches to 24x7 Availability
Using DCSS/XIP with Oracle 10g on Linux for System z
WebSphere Replication Server Using Q Replication: High Availability Scenarios for the AIX Platform
Using DCSS/XIP with Orace 10g on Linux for System z
Migration Considerations for CICS Using CICS CM, PA, and IA
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
Enterprise Security Architecture Using IBM Tivoli Security Solutions
Show all..


Section: IBM Technotes
SVC Host Port Mask - Documentation Correction
Journaling ? Journal Receiver Diet tip 2: Consider using skinny headers


Section: Redpapers
Tips and Techniques for Using TCP/IP on i5/OS
Installing and Using MPICH, MPICH-GM, and MPICH-MX on Linux Systems
How does the MIDAW facility improve the performance of FICON channels using DB2 and other workloads?
IBM DB2 UDB Enterprise Server Edition V8 for UNIX Backup and Recovery Using a N Series Storage System
Using a Single Business Pattern with the Rational Unified Process (RUP)
Show all..


Section: Redpapers Draft
Best Practices for Using WBI Modeler and Monitor
Domino 7 on Linux for IBM System z: Capacity Planning and Performance Updates
Managing Linux Guests using IBM Director and z/VM Center
Using a Single Business Pattern with the Rational Unified Process (RUP)
A Simple Example: Using the Flat File Connector
Show all..


Section: Software Engineering
Programming from Specifications
Using Z: Specification, Refinement, and Proof
Recommended Approach to Software Development
Recommended Approach to Software Development
Case Studies in Systematic Software Development
Show all..


Section: Software Testing
Practical Software Testing: A Process-Oriented Approach


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


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 :


Tell a Friend!


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