Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Език

Английски език

Книга С меки корици

Код Либристо: 02017941

Издателство Cambridge University Press, август 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Цялото описание

Код Либристо: 02017941

152 b

63.07 €

123.35 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

С меки корици

62.09 € 121.43 лв

Dialogue and Instruction, 1 Robbert-Jan Beun

С меки корици

54.47 € 106.54 лв

Reception Studies Lorna Hardwick

С меки корици

34.12 € 66.74 лв

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

С меки корици

15.53 € 30.37 лв

MODA FASHION KLICZKOWSKI

Книга

13.72 € 26.83 лв

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

С меки корици

15.43 € 30.17 лв

Tiché kroky rokov Anton Fiala

binding.

19.00 € 37.16 лв

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

С меки корици

14.70 € 28.75 лв

Klettersteige Julische Alpen Alois Goller

С меки корици

21.80 € 42.63 лв

Cialo i kamien Richard Sennett

С меки корици

18.17 € 35.54 лв

Shy - Tome 16 Miki Bukimi

С меки корици

11.08 € 21.66 лв

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

С меки корици

10.09 € 19.74 лв

Orar con San Antonio Triviño Monrabal

С меки корици

14.96 € 29.26 лв

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

С меки корици

18.43 € 36.05 лв

Elvis Gold Elvis Presley Аудио

Аудио компактдиск

28.17 € 55.09 лв

Tramp J.C. KRAEHN

С твърди корици

60.58 € 118.49 лв

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

С меки корици

8.59 € 16.80 лв

Cheiro's Buch der Numerologie Jürgen Berus

С меки корици

17.14 € 33.51 лв

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

С меки корици

9.16 € 17.92 лв

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

Лист

12.11 € 23.69 лв

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

С меки корици

25.89 € 50.63 лв

Ses Concitoyens Pache-J-N

С меки корици

12.73 € 24.91 лв

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.