Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Formal Description of Programming Concepts
sidottu,
1991,
englanti,
ISBN 9783540539612
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures …