Stock image for illustration purposes only - book cover, edition or condition may vary.
First-Order Programming Theories
Gergely, Tamas; Ury, Laszlo
€ 128.57
FREE Delivery in Ireland
Description for First-Order Programming Theories
Hardback. Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 362 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 244 x 170 x 20. Weight in Grams: 691.
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for programming theory. They differ in the mathe matical machinery they use to define and investigate ... Read more
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for programming theory. They differ in the mathe matical machinery they use to define and investigate ... Read more
Product Details
Format
Hardback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
362
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
353
Place of Publication
Berlin, Germany
ISBN
9783540542773
SKU
V9783540542773
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for First-Order Programming Theories