Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02017941

Nakladateľstvo Cambridge University Press, august 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Celý popis

Libristo kód: 02017941

145 b

60.09 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Brožovaná

59.08 €

Dialogue and Instruction, 1 Robbert-Jan Beun

Brožovaná

51.69 €

Reception Studies Lorna Hardwick

Brožovaná

32.47 €

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

Brožovaná

14.86 €

MODA FASHION KLICZKOWSKI

Kniha

13.04 €

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

Brožovaná

14.26 €

Tiché kroky rokov Anton Fiala

binding.

17.29 €

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

Brožovaná

14.05 €

Klettersteige Julische Alpen Alois Goller

Brožovaná

20.73 €

Cialo i kamien Richard Sennett

Brožovaná

17.19 €

Shy - Tome 16 Miki Bukimi

Brožovaná

10.61 €

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

Brožovaná

8.29 €

Orar con San Antonio Triviño Monrabal

Brožovaná

14.36 €

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

Brožovaná

17.49 €

Elvis Gold Elvis Presley Audio

Audio CD

26.90 €

Tramp J.C. KRAEHN

Pevná

68.89 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Brožovaná

8.08 €

Cheiro's Buch der Numerologie Jürgen Berus

Brožovaná

16.18 €

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

Brožovaná

7.27 €

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

List

11.52 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Brožovaná

24.78 €

Ses Concitoyens Pache-J-N

Brožovaná

12.13 €

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.