Programs, Recursion and Unbounded Choice

Name: Programs, Recursion and Unbounded Choice
Brand: Cambridge University Press
SKU: 9780521018296
Price: 335.63 RON
Availability: InStock

Autor: Wim H. Hesselink

Limbă:

Legare: Carte broșată

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

335.63 lei

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

Informații despre carte

Autor

Wim H. Hesselink

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2005

Pagini

240

EAN

9780521018296

ISBN

0521018293

Enbook ID

02017941

Editura

Cambridge University Press

Greutate

385

Dimensiuni

170 x 245 x 12

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Programs, Recursion and Unbounded Choice

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și