- 5 Results
Lowest price: € 29.30, highest price: € 59.43, average price: € 50.54
1
A Practical Theory of Programming Eric C.R. Hehner Author
Order
at BarnesandNoble.com
€ 54.99
Order
Details & Shipping
Sponsored link

A Practical Theory of Programming Eric C.R. Hehner Author - new book

ISBN: 9780387941066

There are several theories of programming. The first usable theory, often called Hoare's Logic, is still probably the most widely known. In it, a specification is a pair of predicates:… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
2
A Practical Theory of Programming
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
A Practical Theory of Programming - new book

ISBN: 9780387941066

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: … More...

Nr. 978-0-387-94106-6. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
3
A Practical Theory of Programming (Texts and Monographs in Computer Science). - Hehner, Eric C.R.
Order
at Achtung-Buecher.de
€ 29.30
Shipment: € 0.001
Order
Provider details
Sponsored link
Hehner, Eric C.R.:
A Practical Theory of Programming (Texts and Monographs in Computer Science). - hardcover

1993

ISBN: 0387941061

17,8 x 1,6 x 25,4 cm, hardcover. 257 p. Gebundene Ausgabe In very good condition. ISBN: 9780387941066 2, [PU:Springer,]

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Wissenschaftliches Antiquariat Thomas Haker e.K. Amtsgericht Freiburg, Registernummer: HRA 703494 A, 79771 Klettgau-Erzingen
close (x)
4
Order
at AbeBooks.de
€ 59.43
Shipment: € 36.351
Order
Provider details
Sponsored link
Eric C.R. Hehner:
A Practical Theory of Programming (Monographs in Computer Science) - hardcover

1993, ISBN: 0387941061

[EAN: 9780387941066], Neubuch, [PU: Springer], Clean and crisp and new!, Books

NEW BOOK. Shipping costs: EUR 36.35 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 5 (von 5)]
close (x)
5
Order
at AbeBooks.de
€ 55.50
Shipment: € 68.161
Order
Provider details
Sponsored link
Hehner, Eric C.R.:
A Practical Theory of Programming (Monographs in Computer Science) - hardcover

1993, ISBN: 0387941061

[EAN: 9780387941066], Neubuch, [PU: Springer], Books

NEW BOOK. Shipping costs: EUR 68.16 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)]
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
A Practical Theory of Programming Eric C.R. Hehner Author
Author:
Title:
ISBN:

9780387941066


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.

Details of the book - A Practical Theory of Programming Eric C.R. Hehner Author


EAN (ISBN-13): 9780387941066
ISBN (ISBN-10): 0387941061
Hardcover
Paperback
Publishing year: 1993
Publisher: Springer New York Core >2 >T
260 Pages
Weight: 0,688 kg
Language: eng/Englisch

Book in our database since 2008-04-21T17:13:23-04:00 (New York)
Detail page last modified on 2024-04-10T08:31:19-04:00 (New York)
ISBN/EAN: 9780387941066

ISBN - alternate spelling:
0-387-94106-1, 978-0-387-94106-6
Alternate spelling and related search-keywords:
Book author: eric, hehne, hehn, hehner, dijkstra
Book title: practical programming, practical theory, practical vim, monographs

Information from Publisher

Author: Eric C.R. Hehner
Title: Monographs in Computer Science; A Practical Theory of Programming
Publisher: Springer; Springer US
247 Pages
Publishing year: 1993-08-06
New York; NY; US
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 247 p.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; control; data structures; design; development; functional programming; language; programming; programming language; software; time; verification; Software Engineering; BC

1 Basic Theories.- Boolean Theory.- Number Theory.- Character Theory.- 2 Basic Data Structures.- Bunch Theory.- Set Theory.- String Theory.- List Theory.- 3 Function Theory.- Functions.- Quantifiers.- Function Fine Points.- 4 Program Theory.- Specifications.- Program Development.- Time.- Robustness.- Refinement in Place.- 5 Programming Language.- Scope.- Data Structures.- Control Structures.- Time Dependence.- Assertions.- Subprogram.- Alias.- Functional Programming.- 6 Recursive Definition.- Recursive Data Definition.- Recursive Program Definition.- Limits.- 7 Theory Design and Implementation.- Data Theories.- Program Theories.- Specification by Implementation.- 8 Concurrency.- Independent Composition.- Circuit Design.- Found Concurrency.- 9 Communication.- Implementability.- Input and Output.- Recursively Defined Communication.- Input Composition.- Reaction Controller.- Communicating Processes.- Power Series Multiplication.- 10 Exercises.- Basic Theories.- Basic Data Structures.- Function Theory.- Program Theory.- Programming Language.- Recursive Definition.- Theory Design and Implementation.- Concurrency.- Communication.- 11 Reference.- Justifications.- Sources.- Axioms and Laws.- Symbols and Names.- Precedence.

More/other books that might be very similar to this book

Latest similar book:
9781441985965 A Practical Theory of Programming (Eric C. R. Hehner)

< to archive...