Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Język

Angielski

Książka Miękka

Kod Libristo: 02017941

Wydawnictwo Cambridge University Press, sierpień 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Cały opis

Kod Libristo: 02017941

152 b

267.02 zł

Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Miękka

237.90 zł

Dialogue and Instruction, 1 Robbert-Jan Beun

Miękka

219.03 zł

Reception Studies Lorna Hardwick

Miękka

137.72 zł

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

Miękka

63.03 zł

MODA FASHION KLICZKOWSKI

Książka

55.20 zł

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

Miękka

58.31 zł

Tiché kroky rokov Anton Fiala

binding.

76.08 zł

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

Miękka

59.42 zł

Klettersteige Julische Alpen Alois Goller

Miękka

87.73 zł

Cialo i kamien Richard Sennett

Miękka

60.42 zł

Shy - Tome 16 Miki Bukimi

Miękka

44.86 zł

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

Miękka

38.94 zł

Orar con San Antonio Triviño Monrabal

Miękka

60.82 zł

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

Miękka

77.99 zł

Elvis Gold Elvis Presley Audio

CD Audio

114.03 zł

Tramp J.C. KRAEHN

Twarda

304.16 zł

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Miękka

34.52 zł

Cheiro's Buch der Numerologie Jürgen Berus

Miękka

68.45 zł

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

Miękka

34.82 zł

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

Karta

48.88 zł

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Miękka

105.09 zł

Ses Concitoyens Pache-J-N

Miękka

54.00 zł

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.