Gå direkt till innehållet
First-Order Programming Theories
Spara

First-Order Programming Theories

Lägsta pris på PriceRunner
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.
Upplaga
Softcover reprint of the original 1st ed. 1991
ISBN
9783642635038
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-11-13
Sidor
353