Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Programs, Recursion and Unbounded Choice

Name: Programs, Recursion and Unbounded Choice
Brand: Cambridge University Press
SKU: 02017941
Price: 24017 HUF
Availability: InStock
Author: Wim H. Hesselink
ISBN: 9780521018296

Wim H. Hesselink

Language

English

Book Paperback

Libristo code: 02017941

Publishers Cambridge University Press, August 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Full description

Libristo code: 02017941

164 b

24 017 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Paperback

22 009 Ft

Dialogue and Instruction, 1 Robbert-Jan Beun

Paperback

19 922 Ft

Reception Studies Lorna Hardwick

Paperback

12 103 Ft

THE ANCIENT MAGUS BRIDE 2 (MANGA VO) YAMAZAKI KORÉ

Paperback

5 284 Ft

MODA FASHION KLICZKOWSKI

Book

4 622 Ft

Chcete se dostat na lékařskou fakultu? Pavel Řezanka

Paperback

5 177 Ft

Tiché kroky rokov Anton Fiala

binding.

6 366 Ft

The Spring Cup, mit 1 Audio-CD, m. 1 Audio-CD Christian Holzmann

Paperback

4 974 Ft

Klettersteige Julische Alpen Alois Goller

Paperback

7 352 Ft

Cialo i kamien Richard Sennett

Paperback

6 089 Ft

Shy - Tome 16 Miki Bukimi

Paperback

3 757 Ft

Nová literatura pro střední školy 2 Pracovní sešit

Paperback

3 419 Ft

Orar con San Antonio Triviño Monrabal

Paperback

5 089 Ft

Contribution A l'Etude Du Traitement de l'Appendicite Lecorney-H-P

Paperback

7 042 Ft

Elvis Gold Elvis Presley Audio

Audio CD

9 994 Ft

Tramp J.C. KRAEHN

Hardback

26 085 Ft

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Paperback

3 155 Ft

Cheiro's Buch der Numerologie Jürgen Berus

Paperback

6 264 Ft

Klinická propedeutika pro střední zdravotnické školy Ilona Jelínková

Paperback

3 095 Ft

Tinto 1 - Grüne JÜL-Ausgabe - 1. Schuljahr Rüdiger Urbanek

Sheet

4 414 Ft

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Paperback

8 804 Ft

Ses Concitoyens Pache-J-N

Paperback

4 872 Ft

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.