Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 237
ISBN-13: 9780521018296
Subjects: Mathematical theory of computation; Programming - Software Development; Computers - Languages / Programming; Computers; Computer Books: General; Computer programming Computer programming; Computers / Programming / Software Development; General; Computer programming
First sentence: 0.0. The purpose of this book is to develop the semantics of imperative sequential programs.