Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Lingua

Inglese

Libro In brossura

Codice Libristo: 02017941

Casa editrice Cambridge University Press, agosto 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Descrizione completa

Codice Libristo: 02017941

159 b

65.09 €

Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

In brossura

64.19 €

Dialogue and Instruction, 1 Robbert-Jan Beun

In brossura

53.79 €

Reception Studies Lorna Hardwick

In brossura

33.69 €

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

In brossura

15.39 €

MODA FASHION KLICZKOWSKI

Libro

12.89 €

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

In brossura

15.19 €

Tiché kroky rokov Anton Fiala

binding.

18.79 €

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

In brossura

14.49 €

Klettersteige Julische Alpen Alois Goller

In brossura

21.49 €

Cialo i kamien Richard Sennett

In brossura

17.89 €

Shy - Tome 16 Miki Bukimi

In brossura

10.89 €

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

In brossura

9.99 €

Orar con San Antonio Triviño Monrabal

In brossura

14.19 €

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

In brossura

19.09 €

Elvis Gold Elvis Presley Audio

CD audio

27.79 €

Tramp J.C. KRAEHN

Rigido

70.89 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

In brossura

8.49 €

Cheiro's Buch der Numerologie Jürgen Berus

In brossura

16.89 €

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

In brossura

9.09 €

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

Foglio

11.99 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

In brossura

24.49 €

Ses Concitoyens Pache-J-N

In brossura

13.19 €

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.