Semantics and correctness of classes of deterministic and nondeterministic recursive programs


Jean Henri Gallier
Bok Engelsk 1978

Detaljer

Bibliotek som har denne