Programs, Recursion and Unbounded Choice

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

Autor: Wim H. Hesselink

Jazyk:

Väzba: Brožovaná

Vydavateľ: Cambridge University Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

58.29 €

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

Informácie o knihe

Autor

Wim H. Hesselink

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2005

Stránok

240

EAN

9780521018296

ISBN

0521018293

Enbook ID

02017941

Vydavateľ

Cambridge University Press

Hmotnosť

385

Rozmery

170 x 245 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Programs, Recursion and Unbounded Choice

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež