Stock image for illustration purposes only - book cover, edition or condition may vary.
First-Order Programming Theories
Gergely, Tamas; Ury, Laszlo
€ 123.07
FREE Delivery in Ireland
Description for First-Order Programming Theories
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 362 pages, biography. BIC Classification: PBC; UM; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 19. Weight in Grams: 634.
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
Paperback
Publication date
2012
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
9783642635038
SKU
V9783642635038
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for First-Order Programming Theories