Tucker, J. V. (John V.), 1952-....
Tucker, J.V., 1952-
Tucker, John V. 1952-....
Tucker, John
VIAF ID: 109781685 (Personal)
Permalink: http://viaf.org/viaf/109781685
Preferred Forms
-
100 1 0 ‡a Tucker, J. V. ‡q (John V.), ‡d 1952-
-
100 1 0 ‡a Tucker, John V. ‡d (1952- ).
-
100 1 _ ‡a Tucker, J. V. ‡q (John V.), ‡d 1952-
-
100 1 _ ‡a Tucker, J. V. ‡q (John V.), ‡d 1952-
-
100 1 _ ‡a Tucker, J. V. ‡q (John V.), ‡d 1952-....
-
100 1 _ ‡a Tucker, J.V., ‡d 1952-
-
100 1 _ ‡a Tucker, John V. ‡d 1952-
-
200 _ | ‡a Tucker ‡b John V. ‡f 1952-....
-
100 1 _ ‡a Tucker, John
4xx's: Alternate Name Forms (8)
Selected Titles
- Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters
(3)
- Program correctness over abstract data types, with error-state semantics, 1988:
(3)
- Many-sorted logic and its applications
(3)
- inescapable stack
(2)
- Theoretical foundations of VLSI design
(2)
- The inescapable stack: an exercise in algebraic specification with total functions
(2)
- Two theorems about the completeness of Hoare's logic
(1)
- Top-down design and the algebra of communicating processes
(1)
- Theoretical foundations of VLSI design
(1)
- The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs [microvorm]
(1)
