Zoekresultaten
Resultaat 1 - 11 (van 11)
J.A. Bergstra | J.V. Tucker Hoare's logic and Peano's arithmetic
Engels | 27 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.V. Tucker Two theorems about the completeness of Hoare's logic
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.V. Tucker Hoare's logic for programming languages with two data types
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
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
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 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 Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
Non-fictie
Engels | 43 pagina's | University of Amsterdam, Amsterdam | 1992
Gedrukt boek
J.V. Tucker | J.I. Zucker Program correctness over abstract data types, with error-state semantics
Non-fictie
Engels | 212 pagina's | North-Holland, Amsterdam [etc.] | 1988
Gedrukt boek
J.A. Bergstra | J.V. Tucker Algebraic specifications of computable and semicomputable datatypes
Non-fictie
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1986
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