Gå direkte til innholdet
First-Order Programming Theories
Spar

First-Order Programming Theories

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.
Opplag
Softcover reprint of the original 1st ed. 1991
ISBN
9783642635038
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.11.2012
Antall sider
353