Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Programs, Recursion and Unbounded Choice

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

Wim H. Hesselink

Língua

Inglês

Livro Capa mole

Código Libristo: 02017941

Editoras Cambridge University Press, agosto 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Descrição completa

Código Libristo: 02017941

131 b

54.22 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Capa mole

53.11 €

Dialogue and Instruction, 1 Robbert-Jan Beun

Capa mole

46.03 €

Reception Studies Lorna Hardwick

Capa mole

29.23 €

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

Capa mole

12.23 €

MODA FASHION KLICZKOWSKI

Livro

10.41 €

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

Capa mole

11.32 €

Tiché kroky rokov Anton Fiala

binding.

16.28 €

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

Capa mole

12.03 €

Klettersteige Julische Alpen Alois Goller

Capa mole

17.39 €

Cialo i kamien Richard Sennett

Capa mole

13.24 €

Shy - Tome 16 Miki Bukimi

Capa mole

8.79 €

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

Capa mole

7.78 €

Orar con San Antonio Triviño Monrabal

Capa mole

11.73 €

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

Capa mole

15.67 €

Elvis Gold Elvis Presley Áudio

CD de áudio

24.37 €

Tramp J.C. KRAEHN

Livro de capa dura

63.13 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Capa mole

7.17 €

Cheiro's Buch der Numerologie Jürgen Berus

Capa mole

14.26 €

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

Capa mole

6.77 €

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

Folha

10.41 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Capa mole

20.53 €

Ses Concitoyens Pache-J-N

Capa mole

10.82 €

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.