Programs, Recursion and Unbounded Choice

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

Autor: Wim H. Hesselink

Język:

Oprawa: Miękka

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

258.60 zł

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

Informacje o książce

Autor

Wim H. Hesselink

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2005

strony

240

EAN

9780521018296

ISBN

0521018293

Enbook ID

02017941

Wydawca

Cambridge University Press

Waga

385

Wymiary

170 x 245 x 12

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Programs, Recursion and Unbounded Choice

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również