Login
中文
J M Spivey
HIndex: 6
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Computer hardware
Formal methods
Rotation formalisms in three dimensions
Kernel
Mathematical model
Logic
Hash table
Formal language
Z notation
Formal semantics
Formal specification
Requirements analysis
Compiler
Real-time computing
Completeness
Programming
Documentation
Finite-state machine
Embedded system
Theory of computation
Semantics
Higher-order function
Data structure
Software quality
Model of computation
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Computer hardware
Formal methods
Rotation formalisms in three dimensions
Kernel
Mathematical model
Logic
Hash table
Formal language
Z notation
Formal semantics
Formal specification
Requirements analysis
Compiler
Real-time computing
Completeness
Programming
Documentation
Finite-state machine
Embedded system
Theory of computation
Semantics
Higher-order function
Data structure
Software quality
Model of computation
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
J M Spivey
Oriel College Oxford
7
×
Share to your followers
Submit