Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02017941

Nakladatelství Cambridge University Press, srpen 2005

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

Libristo kód: 02017941

145 b

1 453 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Brožovaná

1 358 Kč

Dialogue and Instruction, 1 Robbert-Jan Beun

Brožovaná

1 182 Kč

Reception Studies Lorna Hardwick

Brožovaná

747 Kč

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

Brožovaná

360 Kč

MODA FASHION KLICZKOWSKI

Kniha

315 Kč

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

Brožovaná

274 Kč

Tiché kroky rokov Anton Fiala

binding.

419 Kč

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

Brožovaná

339 Kč

Klettersteige Julische Alpen Alois Goller

Brožovaná

501 Kč

Cialo i kamien Richard Sennett

Brožovaná

392 Kč

Shy - Tome 16 Miki Bukimi

Brožovaná

256 Kč

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

Brožovaná

197 Kč

Orar con San Antonio Triviño Monrabal

Brožovaná

347 Kč

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

Brožovaná

423 Kč

Elvis Gold Elvis Presley Audio

Audio CD

620 Kč

Tramp J.C. KRAEHN

Pevná

1 400 Kč

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Brožovaná

185 Kč

Cheiro's Buch der Numerologie Jürgen Berus

Brožovaná

368 Kč

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

Brožovaná

195 Kč

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

List

265 Kč

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Brožovaná

600 Kč

Ses Concitoyens Pache-J-N

Brožovaná

293 Kč

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.