Program Construction: Calculating Implementations from Specifications

Description

• Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
• This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
• Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
• Includes a wide range of entertaining and challenging examples and exercises

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Similar books

• 

  Object-oriented Modeling and Design

  By James Rumbaugh

  [ Harel - 88a ] D. Harel , H. Lachover , A. Naamad , A. Pnueli , M. Politi , R. Sherman , A. Shtul - Trauring . ... W. Reisig . Petri Nets : An Introduction . Berlin : Springer - Verlag , 1985 . [ Rumbaugh - 88 ] James Rumbaugh .

• 

  Computer Performance Evaluation: Modelling Techniques and Tools : 10th International Conference, Tools '98 Palma de Mallorca, Spain, September 14-18, 1998...

  By Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra

  Computer Performance Evaluation: Modelling Techniques and Tools : 10th International Conference, Tools '98 Palma de Mallorca, Spain, September 14-18, 1998...

• 

  Extreme Programming Examined

  By Giancarlo Succi, Michele Marchesi

  It is an indicator for possible rescheduling between the baselines . It also helps us sort the story cards , which are on a finer - grained level . Does What With Whom / What Who What For How to Check Paul Bahr Implementation ...

• 

  Time Bomb 2000: What the Year 2000 Computer Crisis Means to You!

  By Edward Yourdon, Jennifer Yourdon

  See The Limits to Growth by Donella H. Meadows , Dennis L. Meadows , Jorgen Randers , and William W. Behrens III ( 1972 ) . 3. Peter M. Senge , The Fifth Discipline : The Art and Practice of the Learning Organization ( Doubleday ...

• 

  软件工程与建模项目教程

  By 黄金晶, 郝爱语主编, 杨欣欣副主编

  工期通常小时或示,但大型项目也可用周或月示工期的单。 5.制进计划项目进计划是软件开发过程中的重要计划。在制过程中,应该分虑各面的,并得者的认同,进是可行的。制进计划的常用有甘图、关键路和计划评审技术。甘图(Gantt chart)又横道图、状图, ...

• 

  Code Complete

  By Steve McConnell

  Mackinnon, Tim, Steve Freeman, and Philip Craig. 2000. “Endo-Testing: Unit Testing with Mock Objects,” eXtreme Programming and Flexible Processes Software Engineering-XP2000 Conference. Maguire, Steve. 1993. Writing Solid Code.

• 

  Software Engineering: A Practitioner's Approach

  By Roger S. Pressman

  For almost three decades, Roger Pressman's Software Engineering: A Practitioner's Approach has been the world's leading textbook in software engineering. The new seventh edition represents a major restructuring and...

• 

  Innovation Games: Creating Breakthrough Products Through Collaborative Play

  By Luke Hohmann

  Innovation Through Understandingsm The toughest part of innovation? Accurately predicting what customers want, need, and will pay for. Even if you ask them, they often can't explain what...

• 

  Code: The Hidden Language of Computer Hardware and Software

  By Charles Petzold

  What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means...

• 

  IronPython in Action

  By Michael J. Foord, Christian Muirhead

  In 2005, Microsoft quietly announced an initiative to bring dynamic languages to the .NET platform. The starting point for this project was a .NET implementation of Python, dubbed IronPython. After...