Programs, Recursion and Unbounded Choice

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

Szerző: Wim H. Hesselink

Nyelv:

Kötés: Puha kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

23 272 Ft

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

Információk a könyvről

Szerző

Wim H. Hesselink

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2005

oldal

240

EAN

9780521018296

ISBN

0521018293

Enbook ID

02017941

Kiadó

Cambridge University Press

Súly

385

Méretek

170 x 245 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Programs, Recursion and Unbounded Choice

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták