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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Programs, Recursion and Unbounded Choice

Name: Programs, Recursion and Unbounded Choice
Brand: Cambridge University Press
SKU: 02017941
Price: 62.97 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

152 b

62.97 €

Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Capa mole

61.96 €

Reception Studies Lorna Hardwick

Capa mole

34.06 €

Dialogue and Instruction, 1 Robbert-Jan Beun

Capa mole

51.65 €

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

Capa mole

14.04 €

MODA FASHION KLICZKOWSKI

Livro

11.62 €

Klettersteige Julische Alpen Alois Goller

Capa mole

17.88 €

Tramp J.C. KRAEHN

Livro de capa dura

52.46 €

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

Capa mole

9.59 €

Shy - Tome 16 Miki Bukimi

Capa mole

9.90 €

Orar con San Antonio Triviño Monrabal

Capa mole

12.83 €

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

Capa mole

8.18 €

Elvis Gold Elvis Presley Áudio

CD de áudio

28.09 €

Ses Concitoyens Pache-J-N

Capa mole

12.73 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Capa mole

22.53 €

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

Capa mole

17.98 €

Cialo i kamien Richard Sennett

Capa mole

16.27 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Capa mole

8.08 €

Cheiro's Buch der Numerologie Jürgen Berus

Capa mole

15.15 €

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

Folha

11.51 €

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

Capa mole

13.94 €

Tiché kroky rokov Anton Fiala

binding.

19.40 €

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

Capa mole

13.74 €

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.