Zoekresultaten
Resultaat 1 - 11 (van 11)
J.A. Bergstra | J. Tiuryn | J.V. Tucker Floyd's principle, correctness theories and program equivalence
Engels | 51 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker Algebraic specifications of computable and semicomputable data structures
Engels | 24 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
V. Stoltenberg-Hansen | J.V. Tucker Computing roots of unity in fields
Engels | 12 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra | J. Tiuryn | J.V. Tucker Correctness theories and program equivalence
Engels | 31 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
Peter R.J. Asveld | J.V. Tucker On the operational structure of algebraic programming systems
Engels | 37 pagina's | Stichting Mathematisch Centrum], [Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker The completeness of the algebraic specification methods for data types
Engels | 18 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker Expressiveness and the completeness of Hoare's logic
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker On the refinement of specifications and Hoare's logic
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker Top-down design and the algebra of communicating processes
Non-fictie
Engels | Centrum voor Wiskunde en Informatica, Amsterdam | 1984
Gedrukt boek
J.A. Bergstra | J.V. Tucker The axiomatic semantics of programs based on Hoare's logic
Non-fictie
Engels | 29 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek
J.A. Bergstra | J.W. Klop | J.V. Tucker Algebraic tools for system construction
Non-fictie
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1983
Gedrukt boek