Computer Science Series
Showing results 1-5 of 5
Filter Results OPEN +
What Can Be Automated?
Computer Science and Engineering Research Study (COSERS)
ISBN: 9780262510264
Publisher: The MIT Press
Pub Date: May 10, 1983
Contributions by over eighty professionals provide an overview of the subject that includes statistics, numerical computations, theory of computation, hardware systems, artificial intelligence, programming...
Denotational Semantics
The Scott-Strachey Approach to Programming Language Theory
ISBN: 9780262690768
Publisher: The MIT Press
Pub Date: September 30, 1981
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches)....
Data Models
A Semantic Approach for Database Systems
ISBN: 9780262021517
Publisher: The MIT Press
Pub Date: May 27, 1980
Research Directions in Software Technology
Research Directions in Software Technology
ISBN: 9780262230902
Publisher: The MIT Press
Pub Date: June 21, 1979
What Can Be Automated?
Computer Science and Engineering Research Study (COSERS)
ISBN: 9780262510264
Publisher: The MIT Press
Pub Date: May 10, 1983
Contributions by over eighty professionals provide an overview of the subject that includes statistics, numerical computations, theory of computation, hardware systems, artificial intelligence, programming...
Denotational Semantics
The Scott-Strachey Approach to Programming Language Theory
ISBN: 9780262690768
Publisher: The MIT Press
Pub Date: September 30, 1981
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches)....
Data Models
A Semantic Approach for Database Systems
ISBN: 9780262021517
Publisher: The MIT Press
Pub Date: May 27, 1980
Research Directions in Software Technology
Research Directions in Software Technology
ISBN: 9780262230902
Publisher: The MIT Press
Pub Date: June 21, 1979