Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
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

Miscellaneous



Book Title : Systematic Software Development Using VDM, 2nd Edition
eBook download format(s) : zip gz zip gz 
ISBN-10 : 0138807337 
ISBN-13 : 978-0-138807-33-7 
Author(s) : Cliff B. Jones
Publisher : Prentice Hall (Apr 1990)
Section : Miscellaneous
Book Review:

Product Description
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.




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 try these 4 + 1 alternates...
  
         Buy 


Tell a Friend!

Similar Book titles in Miscellaneous section:
Guide to Software Engineering Body of Knowledge
Statistical Software Engineering
Software Project Management, 2nd Ed.
MH & xmh: Email for Users & Programmers, 3rd Edition
Fundamentals of Piano Practice, 2nd Edition
Applied Cryptography: Protocols, Algorithms, and Source Code in C, 2nd Edition
Rf And Baseband Techniques for Software Defined Radio
Digital Synthesizers and Transmitters for Software Radio
PDF Reference Version 1.3 (Second Edition)
PDF Reference Version 1.4 (Third Edition)
PDF Reference Version 1.5 (Fourth Edition)
PDF Reference Version 1.6 (Fifth Edition)
ISBN-13 For Dummies, Special Edition
Information Retrieval, Second Edition
Cryptanalysis of RSA Using Algebraic And Lattice Methods


Similar Book titles in Other sections:

Section: Applications
Inside Autocad 14 (Limited Edition)


Section: Bio-Chemistry
The Cell Cycle and Development
The Cell - A Molecular Approach 2nd edition
Developmental Biology, 6th Edition
Medical Microbiology 4th Edition
Pharmaceutical Biotechnology Second Edition
Show all..


Section: CS -> Compilers and Languages
Using GCC: The GNU Compiler Collection Reference Manual
Working with Objects: The Ooram Software Engineering method
Programming from Specifications, Second Edition
Compiler Construction Using Flex and Bison
Logic, Programming and Prolog, 2nd Edition
Show all..


Section: Data Structures and Algorithms
Problems on Algorithms, 2nd Edition
The Algorithm Design Manual: Hypertext Edition
Structure and Interpretation of Computer Programs - 2nd Edition


Section: Formal Methods
The Z Notation: A Reference Manual, Second Edition
Formal Specification and Documentation using Z: A Case Study Approach


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


Section: Parallel Computing
Developing Component Software with CORBA


Section: CS -> Theory
Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
The Secret Guide to Computers, 29th Edition
Quantitative System Performance - Computer System Analysis Using Queueing Network Models


Section: DB -> DB / 2
DB2 Connect Enterprise Edition Quick Beginnings
DB2 Application Development Guide
SAMS DB2 Developer's Guide Fourth Edition


Section: DB -> Oracle
Using Oracle8
Special Edition Using Oracle Web Application Server 3
Oracle Data Warehousing Unleashed
Oracle PL/SQL Programming, 2nd Edition
Oreilly Oracle Essentials Oracle Database 10g 3rd Edition
Show all..


Section: DB -> Others
Special Edition Using Visual FoxPro 6
Database System Concepts, Fifth Edition


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


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


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


Section: Computer Hardware
Using PCs
Upgrading and Repairing PCs, Linux Edition (Upgrading & Repairing)


Section: Device Drivers
Linux Device Drivers, 2nd Edition


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


Section: Microprocessor
IA-32 Intel Architecture Software Developer's Manual Volume 2: Instruction Set Reference
IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide
IA-64 Software Conventions and Runtime Architecture Guide
M68000 8-/16-/32-Bit Microprocessors User's Manual Ninth Edition


Section: Peripherals
EISA System Architecture Second Edition


Section: Internet
The XML Files : Using XML for Business-to-Business and Business-to-Consumer Applications
Software Engineering for Internet Applications (Workbook)
Connected: An Internet Encyclopedia, Third Edition
Using Microsoft Exchange Server
UNIX Unleashed, Internet Edition
Show all..


Section: Advanced Java
Java Au Naturel - Guide to Object Oriented Design, 4th Edition
Application Development with VisualAge for Java Enterprise
Java Virtual Machine Specification, Second Edition
Java Application Development for CICS
Introduction to Computer Science Using Java
Show all..


Section: Java Enterprise Edition
J2EE and XML Development
Mastering Enterprise JavaBeans, 2nd Edition
Tutorial For Building j2Ee Applications Using Jboss And Eclipse
Programming Jakarta Struts, 2nd Edition
JBoss Administration and Development 2nd Ed
Show all..


Section: Java User Interface
Evaluating Java for Game Development


Section: Java Language
Thinking in Java, 1st Edition
Java in a Nutshell, 2nd Edition
Teach Yourself Java in 21 Days: Professional Reference Edition
Introduction to Programming Using Java
Special Edition Using Java 1.1, 3rd Edition
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
Java Application Development for CICS
Application Development with VisualAge for Java Enterprise
Show all..


Section: Mathematics
Lapack Users' Guide (Software, Environments and Tools, 9)
Elementary Algebra with Applications, 3rd Edition
Advanced Calculus, Revised Edition
Algorithms for Modular Elliptic Curves, Second Edition
Introduction to Probability, 2nd Rev edition
Show all..


Section: Medical
Nutrition Almanac, 5th Edition
Clinical Cardiac Electrophysiology in the Young (Developments in Cardiovascular Medicine)


Section: Sales, Marketing & Trading
Software Product Management: Managing Software Development from Idea to Product to Marketing to Sales


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


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


Section: Microsoft COM/DCOM/ActiveX/ATL
Learn Active X Template Library Development With Visual C++ 6.0


Section: Microsoft .(dot) net
Introducing Microsoft .NET Second Edition
MCAD/MCSD Self-Paced Training Kit: Developing Windows-Based Applications with Microsoft Visual Basic.NET and Microsoft Visual C#.NET, Second 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
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
Linux Network Administrator's Guide (2nd Edition)
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
KDE 2.0 Development
Using Samba
Using Samba, 2nd Edition
Managing Projects with GNU make, 3rd Edition
Show all..


Section: Mac OS X
Mac OS X Power Hound Panther Edition
Step into Xcode: Mac OS X Development
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
Embedded System Design: A Unified Hardware/Software Approach


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)
The Complete FreeBSD, Fourth Edition


Section: Windows OS
Inside Windows 2000, Third Edition
Using Windows 98 Preview Edition
Using Windows NT Workstation 4.0


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


Section: Assembly Language
Intel Architecture Software Developerís Manual
Introduction to Reverse Engineering Software


Section: C Language
The C Programming Language (2nd Edition)
The C Answer Book (2nd Edition)
Programming in C, UNIX System Calls and Subroutines Using C
The Development of the C Language
The C Book, Second Edition
Show all..


Section: COBOL Programming
Teach Yourself COBOL in 21 days, Second Edition


Section: C++ Language
C++?? : A Critique of C++, 3rd Edition
Introduction to Object-Oriented Programming Using C++
Software Engineering using C++
The C++ Programming Language (3rd Edition)
Thinking in C++, 2nd Edition (Beta)
Show all..


Section: Other Programming
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Common Lisp the Language, 2nd Edition
Object Oriented Software in Ada 95, Second Edition
Special Edition Using Microsoft Visual Studio
Ada for Software Engineers
Show all..


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


Section: Scripting
The Scheme Programming Language, Second Edition
Using csh & tcsh
Mastering Regular Expressions, Second Edition
Python Imaging Library Handbook (2003 Edition)
Learning to Program Using Python
Show all..


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


Section: Redbooks Draft
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
Tivoli Netcool Service Quality Manager Data Mediation Gateway Development
Show all..


Section: Redbooks
Enabling SOA Using WebSphere Messaging
Architecting High Availability Using WebSphere V6 on z/OS
IBM eServer pSeries Systems Handbook 2003 Edition
Enterprise Security Architecture Using IBM Tivoli Security Solutions
Application Development for CICS Web Services
Show all..


Section: IBM Technotes
Deployment Considerations for Tivoli Provisioning Manager Express for Software Distribution
Journaling ? Journal Receiver Diet tip 2: Consider using skinny headers


Section: Redpapers
Lotus Domino 7 Application Development
Remodeling a Standard Store into the Extended Sites Model With WebSphere Commerce Business Edition V5.6.1
Tips and Techniques for Using TCP/IP on i5/OS
Installing and Using MPICH, MPICH-GM, and MPICH-MX on Linux Systems
IBM Software Express Buying and Selling Guide
Show all..


Section: Redpapers Draft
Best Practices for Using WBI Modeler and Monitor
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
Automated Storage Provisioning in Microsoft Windows using TotalStorage Productivity Center and Tivoli Provisioning Manager
Show all..


Section: Software Engineering
Software Development Guidelines
Open Source Development with CVS, 3rd Edition
Understanding Open Source and Free Software Licensing
Using Z: Specification, Refinement, and Proof
Reusable Software Components: Object-Oriented Embedded Systems Programming in C
Show all..


Section: Software Testing
Practical Software Testing: A Process-Oriented Approach
Systematic Software Testing
Testing and Quality Assurance for Component-Based Software
Effective software testing: 50 specific ways to improve your testing
A Practitioner's Guide to Software Test Design
Show all..


Section: Web Programming
JavaScript: The Definitive Guide, 2nd Edition
PHP and MySQL Web Development
JavaScript Bible, 3rd Edition
Special Edition Using CGI
Special Edition Using Perl 5 for Web Programming
Show all..


Section: Web Technology
HTML: The Definitive Guide, 2nd Edition
Special Edition Using HTML 4
Using HTML 3.2, Java 1.1, and CGI
Special Edition Using HTML, 2nd Edition
Windows NT 4 Web Development
Show all..


Section: XML, XSL & UML
Learning XML, 2nd Edition
The XML Files: Using XML for B2B and B2C Applications
Using OASIS OpenDocument XML
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