Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Canonical Equational Proofs
nidottu,
1991,
englanti,
ISBN 9780817635558
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, …
Algol-like Languages
nidottu,
2013,
englanti,
ISBN 9781475738537
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the …
Alkaen
125,00 €