Siirry suoraan sisältöön
First-Order Programming Theories
Tallenna

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.
Painos
Softcover reprint of the original 1st ed. 1991
ISBN
9783642635038
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
13.11.2012
Sivumäärä
353