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.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

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: 02179586
Price: 50.16 EUR
Availability: InStock
Author: Eric C.R. Hehner
ISBN: 9781461264446

Eric C.R. Hehner

Language

English

Book Paperback

Libristo code: 02179586

Publishers Springer-Verlag New York Inc., September 2012

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

Libristo code: 02179586

122 b

50.16 €

98.11 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Vergleich von linearer, Tagesgebrauchtwert‐ und RRC‐Abschreibung bei konstanten und veranderlichen Preisen Georg Dyck

Paperback

17.92 € 35.04 лв

cerimonie magiche Cornelio Enrico Agrippa

Book

15.81 € 30.92 лв

Rois et reines de France Laureen Bouyssou

Hardback

11.75 € 22.99 лв

Histoire de la Revolution Francaise, Consulat, Empire, Restauration, Revolution de Juillet. Tome 3 Ferrand-J

Paperback

32.24 € 63.06 лв

Berichte an den Gutachter schreiben Gerald Mackenthun

Paperback

17.04 € 33.33 лв

Stalin eine Biographie - Band 205e in der gelben Buchreihe - bei Jürgen Ruszkowski Leo Trotzki

Paperback

40.46 € 79.13 лв

Derechos humanos y filosofía de la religión : recorridos : del texto a la praxis, de la praxis a la denuncia Nativitat Senserrich Morta

Paperback

24.18 € 47.29 лв

CUENTOS COMO NUNCA LOS HEMOS CONTADO MAR BENEGAS

Book

20.59 € 40.26 лв

Ouessant. L'isola delle donne. Diario di una residenza sull'oceano Annalisa Comes

Paperback

23.21 € 45.39 лв

Sistemas de bienestar social en Navarra (1990-1999) : servicios sociales, salud, trabajo, vivienda y justicia GORRI GOÑI

Paperback

30.03 € 58.74 лв

Les débuts de Gossip Girl - Nous étions faits pour nous entendre Cecily Von Ziegesar

Paperback

11.14 € 21.78 лв

Die pädagogische Bewegung in Deutschland und ihre Theorie Herman Nohl

Paperback

19.20 € 37.55 лв

Liebe geht durch alle Zeiten (1). Rubinrot Kerstin Gier

Hardback

26.08 € 51.01 лв

Schönerlesen (schöner lesen) - Ausgabe 24. VPE 50 Exemplare

Sheet

3.33 € 6.52 лв

Comme un mendiant sur les quais de marbre Penblanc

Paperback

24.90 € 48.70 лв

LE VENTRE DE PARIS Emilie Zola

Paperback

8.06 € 15.76 лв

Revision des ungarischen Ausgleichs Joseph Alexander Freiherr von Helfert

Paperback

19.76 € 38.66 лв

Padagogische Generationsbeziehungen Susann Busse

Paperback

65.57 € 128.24 лв

Vom Glauben an die Freiheit Andreas Nastke

Paperback

83.23 € 162.79 лв

La Fortaleza Luis Carlos Molina Acevedo

Paperback

10.88 € 21.28 лв

Bibliographie Biographique Universelle.T. II (N-Z) (Ed.1854) Eduard Maria Oettinger

Paperback

29.52 € 57.74 лв

Strawberry - omalovánky

Paperback

3.44 € 6.72 лв

Oeuvres de Condorcet. Tome 1 (Ed.1847-1849) Jean Antoine Nicolas De Condorcet

Paperback

45.85 € 89.68 лв

Polnische Volkssagen und Marchen K W Woycicki

Hardback

28.14 € 55.03 лв

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.