Program Construction: Calculating Implementations from Specifications, (Paperback)

(No ratings yet)

Key item features

Program Construction: Calculating Implementations from Specifications, (Paperback)
Author: Wiley
ISBN: 9780470848821
Format: Paperback
Publication Date: 2003-05-07
Page Count: 352

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
May, 2003
Pages
352
Subgenre
Programming

Current price is $35.93

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

Ships to

Arrives by Mon, Jun 29

Sold and shipped by Alibris Books

4.571488504782682 stars out of 5, based on 11918 seller reviews(4.6)

Free 30-day returns

More seller options (3)

Starting from $62.17

About this item

Product details

Warum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei auf übermäßig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken.
- illustriert die Bedeutung der Mathematik und der Logik für die Programmierung; gibt einen kompletten Überblick über die Prinzipien des logischen Schließens
- geht detailliert auf Prinzipien der Programmkonstruktion ein
- ausgewogene Kombination aus mathematischer Theorie und Programmierpraxis
- überarbeitete Fassung des Buches "Program Construction and Verification" (1986) desselben Autors, welches von zahlreichen Lehrstühlen für Informatik empfohlen wurde
- hervorragend zum Selbststudium geeignet

Program Construction: Calculating Implementations from Specifications, (Paperback)
Author: Wiley
ISBN: 9780470848821
Format: Paperback
Publication Date: 2003-05-07
Page Count: 352

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Publication date

May, 2003

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Deals & More

4th of July

Grocery

Clothing, Shoes & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming & Movies

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Collectibles

Books

Music

Party Supplies

Resold

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Program Construction: Calculating Implementations from Specifications, (Paperback)

Key item features

Specs

How do you want your item?

More seller options (3)

Similar items you might like

Integrated Library Systems: Planning, Selecting, and Implementing, (Paperback) $34.84

Integrated Library Systems: Planning, Selecting, and Implementing, (Paperback)

Software Architectures: Topics Usually Missed in Textbooks, (Paperback) $32.99

Software Architectures: Topics Usually Missed in Textbooks, (Paperback)

Automated Software Design Volume 1, 2nd Edition Public, (Paperback) $38.55

Automated Software Design Volume 1, 2nd Edition Public, (Paperback)

The Scaling Entrepreneur, (Paperback) $13.99

The Scaling Entrepreneur, (Paperback)

Lecture Notes in Computer Science Generic Programming: Advanced Lectures, Book 2793, (Paperback) $45.39

Lecture Notes in Computer Science Generic Programming: Advanced Lectures, Book 2793, (Paperback)

Building Application with Spec 2.0, (Paperback) $41.96

Building Application with Spec 2.0, (Paperback)

Algorithmic Problem Solving, (Paperback) $58.89

Algorithmic Problem Solving, (Paperback)

Theoretical Introduction to Programming, (Paperback) $35.67

Theoretical Introduction to Programming, (Paperback)

Digital Transformation: A Strategic Structure for Implementation, (Paperback) $38.99

Digital Transformation: A Strategic Structure for Implementation, (Paperback)

DeepSeek AI: A comprehensive guide for enterprise implementation (English Edition), (Paperback) $37.95

DeepSeek AI: A comprehensive guide for enterprise implementation (English Edition), (Paperback)

Operativ-taktisches Controlling, (Paperback) $48.68

Operativ-taktisches Controlling, (Paperback)

You Must Become an Algorithmic Problem: Renegotiating the Socio-Technical Contract, (Paperback) $29.99

You Must Become an Algorithmic Problem: Renegotiating the Socio-Technical Contract, (Paperback)

Run School Run, (Paperback) $47.84