Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Practical Theory of Programming

Name: Practical Theory of Programming
Brand: Springer-Verlag New York Inc.
SKU: 01383975
Price: 53.2 EUR
Availability: InStock
Author: Eric C. R. Hehner
ISBN: 9780387941066

Eric C. R. Hehner

Language

English

Book Hardback

Libristo code: 01383975

Publishers Springer-Verlag New York Inc., August 1993

Understanding programming and programming languages requires knowledge of the underlying theoretical... Full description

Libristo code: 01383975

129 b

53.20 €

104.05 лв

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Плывет, плывет кораблик Самуил Маршак

Hardback

24.82 € 48.54 лв

Mort cellulaire (apoptose) Meysam Javadi-Agchekohl

Paperback

37.67 € 73.67 лв

Moda sostenible KLYMKIW

Hardback

17.49 € 34.20 лв

...y Odio Las Matemáticas 2 Jimmy Huston

Paperback

6.91 € 13.51 лв

Hravě s IKEA - Originální proměny klasických výrobků kok za krokem Luisa Ehlgotz

Paperback

14.24 € 27.85 лв

Русский язык. Сборник правил и упражнений Д. Розенталь

Hardback

12.90 € 25.22 лв

FUNDAMENTOS DE RADIOLOGíA CONVENCIONAL II SALIDO MARTíNEZ

Book

6.45 € 12.61 лв

Lecken | Erotischer Ratgeber Www. Lebe. Jetzt

Hardback

13.46 € 26.33 лв

Stato giuridico civile delle associazioni pubbliche Ekaterina Gladkaya

Paperback

61.09 € 119.49 лв

LE CORAN ET LE POUVOIR Sadr

Paperback

25.95 € 50.76 лв

En coeur à coeur avec Dieu Guy Gilbert

Paperback

9.34 € 18.26 лв

La Révocation de l'édit de Nantes ou Les faiblesses d'un État Joutard

Paperback

13.82 € 27.04 лв

Verfuxt! Marisa Pena

Game

20.84 € 40.77 лв

La Isis dorada: Una aventura de Jaime Azcárate Jorge Magano

Paperback

13.82 € 27.04 лв

Fränkische Weinkönigin Christina aus Nordheim am Main (Puzzle) Hans Will

Game

35.81 € 70.03 лв

Cuerpo Auxiliar de la Administración de la Comunidad Autónoma de Castilla y León. Simulacros de Examen CARRILLO PARDO

Paperback

27.86 € 54.49 лв

Orations Aelius Aristides

Hardback

35.19 € 68.82 лв

Bis dann, Simon David Hill

Paperback

7.48 € 14.62 лв

Haack Verbundatlas. Allgemeine Ausgabe

Sheet

11.30 € 22.09 лв

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.