Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback

Other Programming

Book Title : A Practical Theory of Programming, Second Edition
eBook download format(s) : htm htm ps 
ISBN-10 : 0387941061 
ISBN-13 : 978-0-387941-06-6 
Author(s) : Eric C.R. Hehner
Publisher : Springer (06 Aug 1993)
Section : Other Programming
Book Review:

Book Description
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises. Transparency masters and solutions for the remaining exercises are available from the author.

add to                 Digg!

You may use anyone of the download options

eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and try these 3 + 1 alternates...

Tell a Friend!

Similar Book titles in Other Programming section:
Common Lisp the Language, 2nd Edition
Object Oriented Software in Ada 95, Second Edition
Special Edition Using Microsoft Visual Studio
Practical Common Lisp
Linear Programming, Second Edition - Foundations and Extensions
Ada in Action: With Practical Programming Examples, Second Edition

Similar Book titles in Other sections:

Section: Applications
Inside Autocad 14 (Limited Edition)

Section: Bio-Chemistry
Protein sequence analysis - A practical guide, University of Manchester
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
Programming in Martin-Lof's Type Theory
Parsing Techniques - A Practical Guide
Programming from Specifications, Second Edition
Logic, Programming and Prolog, 2nd Edition
Theory of Codes
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

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

Section: CS -> Theory
Graph Theory
An Introduction to the Theory of Computation (Principles of Computer Science Series)
Type Theory and Functional Programming
Information Theory, Inference and Learning Algorithms
Show all..

Section: DB -> Datawarehousing
Algorithmic Information Theory

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

Section: DB -> Oracle
Special Edition Using Oracle Web Application Server 3
Oracle PL/SQL Programming, 2nd Edition
Oreilly Oracle Essentials Oracle Database 10g 3rd Edition

Section: DB -> Others
Special Edition Using Visual FoxPro 6
The Theory of Relational Databases
Database System Concepts, Fifth Edition

Section: DB -> Postgre SQL
Practical PostgreSQL (O'Reilly Unix)

Section: DB -> SQL
Teach Yourself SQL in 21 Days, Second Edition
Sams Teach Yourself Transact-SQL in 21 Days (2nd Edition)
Structured Query Language (SQL) : A Practical Introduction

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

Section: Computer Hardware
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
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

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

Section: Microprocessor
M68000 8-/16-/32-Bit Microprocessors User's Manual Ninth Edition

Section: Peripherals
EISA System Architecture Second Edition

Section: Internet
Connected: An Internet Encyclopedia, Third Edition
Cataloging Internet Resources: A Manual and Practical Guide
UNIX Unleashed, Internet Edition
Practical UNIX & Internet Security
Special Edition Using the Internet, 4th Edition
Show all..

Section: Advanced Java
Java Au Naturel - Guide to Object Oriented Design, 4th Edition
Java Virtual Machine Specification, Second Edition
Practical Artificial Intelligence Programming in Java
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 Language
Thinking in Java, 1st Edition
Java in a Nutshell, 2nd Edition
Teach Yourself Java in 21 Days: Professional Reference Edition
Special Edition Using Java 1.1, 3rd Edition
Special Edition Using Java, 2nd Edition
Show all..

Section: Life & Health
The Filipino Fighting / Martial Arts: Theory and Practice

Section: Mathematics
Practical Foundations of Mathematics
Introduction to Group Theory
Elementary Algebra with Applications, 3rd Edition
Advanced Calculus, Revised Edition
Graph Theory Lessons
Show all..

Section: Medical
Nutrition Almanac, 5th Edition

Section: Miscellaneous
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
Circuit Analysis: Theory & Practice
PDF Reference Version 1.3 (Second Edition)
Show all..

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)
Programming C# (2nd Edition)

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
Practical Standards for 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
Connected: An Internet Encyclopedia, 3rd Edition
DNS and BIND, 3rd Edition
TCP/IP Network Administration, 2nd Edition
Linux Network Administrator's Guide (2nd Edition)
Internetworking Technologies Handbook, Fourth Edition
Show all..

Section: Other Engineering
Modern Antenna Design 2nd Edition
Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)

Section: GNU/Linux OS
Linux Device Drivers, 3rd Edition
Using Samba, 2nd Edition
Managing Projects with GNU make, 3rd Edition
RHCE Red Hat Certified Engineer Linux Study Guide (Exam RH302), Fourth Edition
Understanding the Linux Kernel, 2nd Edition
Show all..

Section: Mac OS X
Mac OS X Power Hound Panther Edition
Special Edition Using Mac OS X v10.3 Panther
Using Mac OS X v10.2, Special Edition
Mac OS X Power Tools, Second Edition

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

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

Section: Assembly Language
Second Book of Machine Language

Section: C Language
The C Programming Language (2nd Edition)
The C Answer Book (2nd Edition)
The C Book, Second Edition

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

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

Section: Perl Scripting
Learning Perl, Second Edition
Practical mod_perl
PERL -- Practical Extraction and Report Language
Perl Cookbook, First Edition
Perl Pocket Reference, 4th Edition
Show all..

Section: Scripting
Practical Programming in Tcl and Tk
The Scheme Programming Language, Second Edition
Mastering Regular Expressions, Second Edition
Python Imaging Library Handbook (2003 Edition)
The Scheme Programming Language, Third Edition
Show all..

Section: Smalltalk
Practical Smalltalk: Using Smalltalk/V

Section: Redbooks Draft
Linux Client Migration Cookbook, Version 2 A Practical Planning and Implementation Guide for Migrating to Desktop Linux
Leveraging DB2 Data Warehouse Edition for Business Intelligence
IBM TotalStorage 3494 Tape Library: A Practical Guide to Tape Drives and Tape Automation
IBM TS3500 Tape Library with System z Attachment: A Practical Guide to TS1120 Tape Drives and TS3500 Tape Automation
Getting Started with Commerce Module for OmniFind Discovery Edition Customization 101
Show all..

Section: Redbooks
IBM eServer pSeries Systems Handbook 2003 Edition
Academic Edition: Applying Patterns Approaches Patterns for e-business Series
Linux Client Migration Cookbook, Version 2: A Practical Planning and Implementation Guide for Migrating to Desktop Linux
Leveraging DB2 Data Warehouse Edition for Business Intelligence
Getting Started with WebSphere MQ File Transfer Edition V7
Show all..

Section: Redpapers
Remodeling a Standard Store into the Extended Sites Model With WebSphere Commerce Business Edition V5.6.1
IBM DB2 UDB Enterprise Server Edition V8 for UNIX Backup and Recovery Using a N Series Storage System
DB2 UDB Enterprise Edition V8.1: Basic Performance Tuning Guidelines
Upgrading from Tivoli NetView 7.1.4/5 to IBM Tivoli Network Manager IP Edition 3.8 Version 1.0
IBM WebSphere MQ File Transfer Edition Solution Overview
Show all..

Section: Redpapers Draft
PCI and PCI-X Placement Rules for IBM System i5, eServer i5, and iSeries servers with i5/OS V5R4 and V5R3 (Fourth edition)
PCI and PCI-X Placement Rules for IBM System i models: i5/OS V5R3 and V5R4 (Fourth edition)
WebSphere MQ File Transfer Edition Solution Overview
Managed File Transfer for SOA using WebSphere MQ File Transfer Edition
IBM Flex System Networking in an Enterprise Data Center, 2nd Edition
Show all..

Section: Software Engineering
Open Source Development with CVS, 3rd Edition
Technical Concepts of Component-Based SE, 2nd Edition
Task-Centered User Interface Design - A Practical Introduction
Software Architecture in Practice, 2nd Edition
A Guide to the Project Management Body of Knowledge, Third Edition
Show all..

Section: Telecommunication
Practical Radio Frequency Handbook

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

Section: Travel and Routes
The Global Nomad: Backpacker Travel in Theory and Practice

Section: Web Programming
JavaScript: The Definitive Guide, 2nd Edition
JavaScript Bible, 3rd Edition
Special Edition Using CGI
Special Edition Using Perl 5 for Web Programming
Teach Yourself CGI with PERL 5 in a Week, 2nd Edition
Show all..

Section: Web Technology
Practical Guide to SGML/XML Filters
HTML: The Definitive Guide, 2nd Edition
Special Edition Using HTML 4
Special Edition Using HTML, 2nd Edition
HTML Unleashed, Professional Reference Edition
Show all..

Section: XML, XSL & UML
Learning XML, 2nd Edition
XSL Concepts and Practical Use
Special Edition Using SGML
XML in a Nutshell, 2nd Edition
Java & XML, 2nd Edition: Solutions to Real-World Problems
Show all..

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions