First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series - Tamas Gergely - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540542773 - December 5, 1991
In case cover and title do not match, the title is correct

First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series 1991 edition

Price
Íkr 13,129
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16
Add to your iMusic wish list

Also available as:

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.


362 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 5, 1991
ISBN13 9783540542773
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 353
Dimensions 170 × 244 × 20 mm   ·   689 g
Language English  

Mere med samme udgiver