Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

First-Order Programming Theories

129,70 €

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.

ISBN
9783642635038
Kieli
englanti
Paino
281 grammaa
Julkaisupäivä
13.11.2012
Sivumäärä
353

First-Order Programming Theories - Gergely Tamas, Ury Laszlo - Nidottu (9783642635038) | Adlibris kirjakauppa