Program Construction: Calculating Implementations from Specifications,New

Name: Ergodebooks Program Construction: Calculating Implementations from Specifications,New - Program Construction: Calculating Implementations from Specifications,New
Brand: Ergodebooks
SKU: 46831539683573
Price: 46.29 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$46.29

Quantity

Color

Black

Quantity

Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, selfcontained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet th

Exclusive offer available

Ergodebooks

4.4 (374)

Product description loading

This is the product description text that will appear here.

Exclusive offer available

Ergodebooks

Pl/I Structured Programming,New

$88.16

Computation Of Special Functions-new,New

Exclusive offer available

Ergodebooks

Computation Of Special Functions,New

$185.67

An Introduction to Linear Programming and Game Theory,New

Exclusive offer available

Ergodebooks

An Introduction to Linear Programming and Game Theory,New

$177.48

Construction Project Scheduling and Control,New

Exclusive offer available

Ergodebooks

Construction Project Scheduling and Control,New

$71.00

Exclusive offer available

Ergodebooks

Essential Algorithms W / Ws,New

$31.68

Simplified Engineering for Architects and Builders,New

Exclusive offer available

Ergodebooks

Simplified Engineering for Architects and Builders,New

$141.01

Intertaal

Integer Programming

$127.00

Extraction Methods for Environmental Analysis,New

Exclusive offer available

Ergodebooks

Extraction Methods for Environmental Analysis,New

$372.46

Comparative Approaches to Program Planning,New

Exclusive offer available

Ergodebooks

Comparative Approaches to Program Planning,New

$73.91

Workshop Statistics: Discovery with Data,New

Exclusive offer available

Ergodebooks

Workshop Statistics: Discovery with Data,New

$94.96

GIFTSQUALITY LTD

(eBook PDF) Fundamentals of Building Construction 7th Edition by Allen Edward

$18.99

Form and Forces: Designing Efficient, Expressive Structures,New

Exclusive offer available

Ergodebooks

Form and Forces: Designing Efficient, Expressive Structures,New

$139.72

The Cure: Enterprise Medicine For Business: A Novel For Managers,New

Exclusive offer available

Ergodebooks

The Cure: Enterprise Medicine For Business: A Novel For Managers,New

$25.93

Specifying Interiors: A Guide to Construction and FF&E for Residential and Commercial Interiors Projects,New

Exclusive offer available

Ergodebooks

Specifying Interiors: A Guide to Construction and FF&E for Residential and Commercial Interiors Projects,New

$65.35

The Engineering Design of Systems: Models and Methods,New

Exclusive offer available

Ergodebooks

The Engineering Design of Systems: Models and Methods,New

$31.43

Exclusive offer available

Ergodebooks

Integer Programming,New

$311.67

Construction Specifications Writing: Principles And Procedures

Exclusive offer available

Ergodebooks

Construction Specifications Writing: Principles And Procedures,New

$613.83

Systems Thinking, Systems Practice-new,New

Exclusive offer available

Ergodebooks

Systems Thinking, Systems Practice,New

$332.52

Critical Path Methods in Construction Practice,New

Exclusive offer available

Ergodebooks

Critical Path Methods in Construction Practice,New

$193.10

Exclusive offer available

Ergodebooks

Verilog Coding for Logic Synthesis,New

$280.88

Implementing Six Sigma: Smarter Solutions Using Statistical Methods,New

Exclusive offer available

Ergodebooks

Implementing Six Sigma: Smarter Solutions Using Statistical Methods,New

$51.41

Exclusive offer available

Ergodebooks

Beginning Linux Programming,New

$49.36

Project Management Metrics, KPIs, and Dashboards: A Guide to Measuring and Monitoring Project Performance,New

Exclusive offer available

Ergodebooks

Project Management Metrics, KPIs, and Dashboards: A Guide to Measuring and Monitoring Project Performance,New

$57.62

Computational Intelligence in Design and Manufacturing,New

Exclusive offer available

Ergodebooks

Computational Intelligence in Design and Manufacturing,New

$287.80

Exclusive offer available

Ergodebooks

Building Construction Illustrated,New

$66.52

Software Architecture: Foundations, Theory, and Practice,New

Exclusive offer available

Ergodebooks

Software Architecture: Foundations, Theory, and Practice,New

$126.58

Exclusive offer available

Ergodebooks

Construction Practice

$75.38

Ways of Structure Building (Oxford Studies in Theoretical Linguistics),Used

Exclusive offer available

Ergodebooks

Ways of Structure Building (Oxford Studies in Theoretical Linguistics),Used

$133.33

Introduction to Engineering Construction Inspection,New

Exclusive offer available

Ergodebooks

Introduction to Engineering Construction Inspection,New

$104.35

Data Structures and Algorithms in Python,New

Exclusive offer available

Ergodebooks

Data Structures and Algorithms in Python,New

$129.86

Construction Specifications Writing: Principles and Procedures,New

Exclusive offer available

Ergodebooks

Construction Specifications Writing: Principles and Procedures,New

$104.83

Computing For Scientists: Principles Of Programming With Fortran 90 And C++

Exclusive offer available

Ergodebooks

Computing For Scientists: Principles Of Programming With Fortran 90 And C++,New

$147.75

Exclusive offer available

Ergodebooks

The Productive Programmer,Used

$48.57

Exclusive offer available

Ergodebooks

Algorithms For Rpn Calculators,New

$829.13

Exclusive offer available

Ergodebooks

Systems Analysis and Design,New

$127.68

Optimization Methods for Logical Inference,New

Exclusive offer available

Ergodebooks

Optimization Methods for Logical Inference,New

$272.55

Design And Analysis Of Lean Production Systems

Exclusive offer available

Ergodebooks

Design And Analysis Of Lean Production Systems,New

$246.68

Building A Better Business Using The Lego Serious Play Method

Exclusive offer available

Ergodebooks

Building A Better Business Using The Lego Serious Play Method

$24.61

Introduction to Engineering Programming: Solving Problems with Algorithms,New

Exclusive offer available

Ergodebooks

Introduction to Engineering Programming: Solving Problems with Algorithms,New

$37.28

Fundamentals of Digital Logic and Microcomputer Design, 5th Edition,New

Exclusive offer available

Ergodebooks

Fundamentals of Digital Logic and Microcomputer Design, 5th Edition,New

$239.10

GIFTSQUALITY LTD

Problem seeking: an architectural programming primer - 5th Edition

$17.99

Exclusive offer available

Ergodebooks

Architectural Structures,New

$158.67

Computer Science: An Overview (What'S New In Computer Science)

Exclusive offer available

Ergodebooks

Computer Science: An Overview (What'S New In Computer Science),New

$292.97

Ergodemedia

Artificial Intelligence Programming with Python: From Zero to Hero

$56.46

Computer Science Reconsidered: The Invocation Model of Process Expression,New

Exclusive offer available

Ergodebooks

Computer Science Reconsidered: The Invocation Model of Process Expression,New

$239.14

Exclusive offer available

Ergodebooks

File Organization And Processing,New

$129.52

Ergodemedia

Algorithmic Problem Solving

$39.73

Enterprise Performance Management Done Right: An Operating System for Your Organization,New

Exclusive offer available

Ergodebooks

Enterprise Performance Management Done Right: An Operating System for Your Organization,New

$57.80

Assembler Language Programming for IBM and IBM Compatible Computers (Formerly 370/360 Assembler Language Programming),New

Exclusive offer available

Ergodebooks

Assembler Language Programming for IBM and IBM Compatible Computers (Formerly 370/360 Assembler Language Programming),New

$295.20

Precedence And Arrow Networking Techniques For Construction-new,New

Exclusive offer available

Ergodebooks

Precedence And Arrow Networking Techniques For Construction,New

$214.67

Exclusive offer available

Ergodebooks

Computational Statistics,New

$125.00

Exclusive offer available

Ergodebooks

The R Book,New

$105.67

The Market Approach To Valuing Businesses Workbook: 2Nd Edition,New

Exclusive offer available

Ergodebooks

The Market Approach To Valuing Businesses Workbook: 2Nd Edition,New

$60.88

Modeling & Analysis Of Manufacturing Sys,New

Exclusive offer available

Ergodebooks

Modeling & Analysis Of Manufacturing Sys,New

$135.09

Ergodemedia

Construction Equipment and Methods: Planning, Innovation, Safety

$30.63

Managing HighTechnology Programs and Projects, Third Edition,New

Exclusive offer available

Ergodebooks

Managing HighTechnology Programs and Projects, Third Edition,New

$268.00

Software Defined Radio: The Software Communications Architecture,New

Exclusive offer available

Ergodebooks

Software Defined Radio: The Software Communications Architecture,New

$351.23

Applications = Code + Markup: A Guide To The Microsoft Windows Presentation Foundation (Pro Developer)

Exclusive offer available

Ergodebooks

Applications = Code + Markup: A Guide To The Microsoft Windows Presentation Foundation (Pro Developer),New

$83.45

Software Testing and Quality Assurance: Theory and Practice,New

Exclusive offer available

Ergodebooks

Software Testing and Quality Assurance: Theory and Practice,New

$180.48

Soft Systems Methodology: Conceptual Model Building and Its Contribution,New

Exclusive offer available

Ergodebooks

Soft Systems Methodology: Conceptual Model Building and Its Contribution,New

$154.26

Architectural Programming: Information Management for Design,New

Exclusive offer available

Ergodebooks

Architectural Programming: Information Management for Design,New

$165.14

Olin's Construction: Principles, Materials, and Methods,New

Exclusive offer available

Ergodebooks

Olin's Construction: Principles, Materials, and Methods,New

$194.19

Designing the CustomerCentric Organization: A Guide to Strategy, Structure, and Process,New

Exclusive offer available

Ergodebooks

Designing the CustomerCentric Organization: A Guide to Strategy, Structure, and Process,New

$28.99

Exclusive offer available

Ergodebooks

Exercises in Building Construction

$52.14

Arithmetic and Logic in Computer Systems,New

Exclusive offer available

Ergodebooks

Arithmetic and Logic in Computer Systems,New

$141.80

Learning to Program with MATLAB: Building GUI Tools,New

Exclusive offer available

Ergodebooks

Learning to Program with MATLAB: Building GUI Tools,New

$75.48

Exclusive offer available

Ergodebooks

Software Change Impact Analysis,New

$153.55

The Methods and Skills of History: A Practical Guide,New

Exclusive offer available

Ergodebooks

The Methods and Skills of History: A Practical Guide,New

$36.67

The LearnerCentered Curriculum: Design and Implementation,New

Exclusive offer available

Ergodebooks

The LearnerCentered Curriculum: Design and Implementation,New

$44.25

Ten Types of Innovation: The Discipline of Building Breakthroughs,New

Exclusive offer available

Ergodebooks

Ten Types of Innovation: The Discipline of Building Breakthroughs,New

$25.97

The Six Disciplines of Breakthrough Learning

Exclusive offer available

Ergodebooks

The Six Disciplines of Breakthrough Learning

$31.64$34.80

Built In Test for VLSI: Pseudorandom Techniques,New

Exclusive offer available

Ergodebooks

Built In Test for VLSI: Pseudorandom Techniques,New

$256.51

Adler: Interplay: The Process Of Interpersonal Communication

Exclusive offer available

Ergodebooks

Adler: Interplay: The Process Of Interpersonal Communication,New

$144.57

Exclusive offer available

Ergodebooks

Windows 98 Programming Secrets,Used

$24.53$35.04

Exclusive offer available

Ergodebooks

Operating System Concepts,New

$44.03

Objects, Abstraction, Data Structures and Design: Using C++,New

Exclusive offer available

Ergodebooks

Objects, Abstraction, Data Structures and Design: Using C++,New

$52.49

Software Design: From Programming to Architecture,New

Exclusive offer available

Ergodebooks

Software Design: From Programming to Architecture,New

$98.22

Accounting Information Systems: The Processes and Controls,New

Exclusive offer available

Ergodebooks

Accounting Information Systems: The Processes and Controls,New

$106.90

Exclusive offer available

Ergodebooks

Design With Constructal Theory,New

$374.49

Strategies For Realtime System Specification-new,New

Exclusive offer available

Ergodebooks

Strategies For Realtime System Specification,New

$36.22

Principles of Modeling and Simulation: A Multidisciplinary Approach,New

Exclusive offer available

Ergodebooks

Principles of Modeling and Simulation: A Multidisciplinary Approach,New

$103.58

Introduction to Engineering Programming: In C, Matlab and Java,New

Exclusive offer available

Ergodebooks

Introduction to Engineering Programming: In C, Matlab and Java,New

$308.62

Intertaal

The R Book

$111.00

Ergodemedia

Professional Scala

$28.25

GIFTSQUALITY LTD

Olin's Construction: Principles, Materials, and Methods - 9th Edition

$17.99

Lispstat: An Objectoriented Environment For Statistical Computing And Dynamic Graphics (Wiley Series In Probability And Statis-new,New

Exclusive offer available

Ergodebooks

Lispstat: An Objectoriented Environment For Statistical Computing And Dynamic Graphics (Wiley Series In Probability And Statis,New

$323.46

Exclusive offer available

Ergodebooks

Applied Calculus,New

$15.64

Machinery's Handbook, 27th Edition (Toolbox Edition),New

Exclusive offer available

Ergodebooks

Machinery's Handbook, 27th Edition (Toolbox Edition),New

$167.41

Programming with Objects: A Comparative Presentation of Object Oriented Programming with C++ and Java,New

Exclusive offer available

Ergodebooks

Programming with Objects: A Comparative Presentation of Object Oriented Programming with C++ and Java,New

$215.87

Exclusive offer available

Ergodebooks

Software Process Dynamics,New

$195.74

Program Construction: Calculating Implementations from Specifications,New

Description

Delivery & Returns

Ergodebooks

You might also like

Pl/I Structured Programming,New

Computation Of Special Functions,New

An Introduction to Linear Programming and Game Theory,New

Construction Project Scheduling and Control,New

Essential Algorithms W / Ws,New

Simplified Engineering for Architects and Builders,New

Integer Programming

Extraction Methods for Environmental Analysis,New

Comparative Approaches to Program Planning,New

Workshop Statistics: Discovery with Data,New

(eBook PDF) Fundamentals of Building Construction 7th Edition by Allen Edward

Form and Forces: Designing Efficient, Expressive Structures,New

The Cure: Enterprise Medicine For Business: A Novel For Managers,New

Specifying Interiors: A Guide to Construction and FF&E for Residential and Commercial Interiors Projects,New

The Engineering Design of Systems: Models and Methods,New

Integer Programming,New

Construction Specifications Writing: Principles And Procedures,New

Systems Thinking, Systems Practice,New

Critical Path Methods in Construction Practice,New

Verilog Coding for Logic Synthesis,New

Implementing Six Sigma: Smarter Solutions Using Statistical Methods,New

Beginning Linux Programming,New

Project Management Metrics, KPIs, and Dashboards: A Guide to Measuring and Monitoring Project Performance,New

Computational Intelligence in Design and Manufacturing,New

Building Construction Illustrated,New

Software Architecture: Foundations, Theory, and Practice,New

Construction Practice

Ways of Structure Building (Oxford Studies in Theoretical Linguistics),Used

Introduction to Engineering Construction Inspection,New

Data Structures and Algorithms in Python,New

Construction Specifications Writing: Principles and Procedures,New

Computing For Scientists: Principles Of Programming With Fortran 90 And C++,New

The Productive Programmer,Used

Algorithms For Rpn Calculators,New

Systems Analysis and Design,New

Optimization Methods for Logical Inference,New

Design And Analysis Of Lean Production Systems,New

Building A Better Business Using The Lego Serious Play Method

Introduction to Engineering Programming: Solving Problems with Algorithms,New

Fundamentals of Digital Logic and Microcomputer Design, 5th Edition,New

Problem seeking: an architectural programming primer - 5th Edition

Architectural Structures,New

Computer Science: An Overview (What'S New In Computer Science),New

Artificial Intelligence Programming with Python: From Zero to Hero

Computer Science Reconsidered: The Invocation Model of Process Expression,New

File Organization And Processing,New

Algorithmic Problem Solving

Enterprise Performance Management Done Right: An Operating System for Your Organization,New

Assembler Language Programming for IBM and IBM Compatible Computers (Formerly 370/360 Assembler Language Programming),New

Precedence And Arrow Networking Techniques For Construction,New

Computational Statistics,New

The R Book,New

The Market Approach To Valuing Businesses Workbook: 2Nd Edition,New

Modeling & Analysis Of Manufacturing Sys,New

Construction Equipment and Methods: Planning, Innovation, Safety

Managing HighTechnology Programs and Projects, Third Edition,New

Software Defined Radio: The Software Communications Architecture,New

Applications = Code + Markup: A Guide To The Microsoft Windows Presentation Foundation (Pro Developer),New

Software Testing and Quality Assurance: Theory and Practice,New

Soft Systems Methodology: Conceptual Model Building and Its Contribution,New

Architectural Programming: Information Management for Design,New

Olin's Construction: Principles, Materials, and Methods,New

Designing the CustomerCentric Organization: A Guide to Strategy, Structure, and Process,New

Exercises in Building Construction

Arithmetic and Logic in Computer Systems,New

Learning to Program with MATLAB: Building GUI Tools,New

Software Change Impact Analysis,New

The Methods and Skills of History: A Practical Guide,New

The LearnerCentered Curriculum: Design and Implementation,New

Ten Types of Innovation: The Discipline of Building Breakthroughs,New

The Six Disciplines of Breakthrough Learning

Built In Test for VLSI: Pseudorandom Techniques,New

Adler: Interplay: The Process Of Interpersonal Communication,New

Windows 98 Programming Secrets,Used

Operating System Concepts,New