Tucker, J. V. (John V.), 1952-
URI(s)
Variants
Tucker, John, 1952-
Tucker, John V., 1952-
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
found: His Program correctness over abstract data types, with error-state semantics, 1988:CIP t.p. (J.V. Tucker) data sheet, etc. (John Tucker; b. 2/4/52)
found: Prospects for hardware foundations, c1999:CIP t.p. (John V. Tucker)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1987-10-23: new
1998-12-10: revised
Alternate Formats