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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 24568 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 568 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Paperback

22 514 Ft

Dialogue and Instruction, 1 Robbert-Jan Beun

Paperback

20 365 Ft

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

Paperback

4 951 Ft

Cesty medu Éric Tourneret

Hardback

12 608 Ft

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

Paperback

4 908 Ft

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

Paperback

3 919 Ft

Shy - Tome 16 Miki Bukimi

Paperback

3 408 Ft

Wyprawa do El Dorado. Mokradła i smoki Reiner Knizia

binding.

9 830 Ft

Klettersteige Julische Alpen Alois Goller

Paperback

7 113 Ft

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

Paperback

5 613 Ft

Tiché kroky rokov Anton Fiala

binding.

6 512 Ft

Die Raupenplage Nigel Barley

Paperback

4 667 Ft

MODA FASHION KLICZKOWSKI

Book

4 700 Ft

Tramp J.C. KRAEHN

Hardback

20 981 Ft

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

Paperback

3 422 Ft

Cialo i kamien Richard Sennett

Paperback

6 034 Ft

Orar con San Antonio Triviño Monrabal

Paperback

5 164 Ft

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

Paperback

6 546 Ft

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Paperback

3 228 Ft

Elvis Gold Elvis Presley Audio

Audio CD

10 223 Ft

Cheiro's Buch der Numerologie Jürgen Berus

Paperback

6 408 Ft

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

Sheet

4 515 Ft

Ses Concitoyens Pache-J-N

Paperback

4 984 Ft

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Paperback

8 973 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.