Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02017941

Založba Cambridge University Press, avgust 2005

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

Koda Libristo: 02017941

145 b

60.09 €

Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Mehka

59.08 €

Dialogue and Instruction, 1 Robbert-Jan Beun

Mehka

48.86 €

Reception Studies Lorna Hardwick

Mehka

30.85 €

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

Mehka

13.55 €

MODA FASHION KLICZKOWSKI

Knjiga

11.73 €

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

Mehka

12.94 €

Tiché kroky rokov Anton Fiala

binding.

15.87 €

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

Mehka

12.64 €

Klettersteige Julische Alpen Alois Goller

Mehka

18.51 €

Cialo i kamien Richard Sennett

Mehka

15.17 €

Shy - Tome 16 Miki Bukimi

Mehka

9.70 €

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

Mehka

8.69 €

Orar con San Antonio Triviño Monrabal

Mehka

13.04 €

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

Mehka

17.49 €

Elvis Gold Elvis Presley Zvok

Zvočni CD

25.59 €

Tramp J.C. KRAEHN

Trda

66.06 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Mehka

7.68 €

Cheiro's Buch der Numerologie Jürgen Berus

Mehka

15.17 €

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

Mehka

7.78 €

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

Preglednica

10.92 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Mehka

22.65 €

Ses Concitoyens Pache-J-N

Mehka

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.