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

Buy

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
A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION
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
IBM TS3500 Tape Library with System z Attachment: A Practical Guide to TS1120 Tape Drives and TS3500 Tape Automation
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


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)


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 :