Skip to content
Scan a barcode
Scan
Added to your cart
Paperback Algebraic Approaches to Program Semantics Book

ISBN: 1461293774

ISBN13: 9781461293774

Algebraic Approaches to Program Semantics

In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific...

Recommended

Format: Unknown Binding

Temporarily Unavailable

We receive fewer than 1 copy every 6 months.

More by Michael A. Arbib
A Basis for Theoretical Computer Science
A Basis for Theoretical Computer Science
Robert N. Moll, A.J. Kfoury, Michael A. Arbib

from: $12.39

Brains, Machines, and Mathematics
Brains, Machines, and Mathematics
Michael A. Arbib

from: $11.99

The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
Suad Alagic, Michael A. Arbib

from: $59.78

The Handbook of Brain Theory and Neural Networks
The Handbook of Brain Theory and Neural Networks
Michael A. Arbib

from: $28.79

The Metaphorical Brain
The Metaphorical Brain
Michael A. Arbib

from: $6.39

Introduction to Formal Language Theory (Texts and Monographs in Computer Science)
Introduction to Formal Language Theory (Texts and Monographs in Computer Science)
Michael A. Arbib, Robert N. Moll, Et Al

from: $59.78

Theories of Abstract Automata (Automatic Computation)
Theories of Abstract Automata (Automatic Computation)
Michael A. Arbib

from: $22.89

A Programming Approach to Computability (Monographs in Computer Science / The AKM Series in Theoretical Computer Science)
A Programming Approach to Computability (Monographs in Computer Science / The AKM Series in Theoretical Computer Science)
A.J. Kfoury, Robert N. Moll, Michael A. Arbib

from: $79.99

Algebraic Theory of Machines, Languages & Semigroups
Algebraic Theory of Machines, Languages & Semigroups
Michael A. Arbib, Kenneth Krohn

from: $15.69

Foundations of System Theory: Finitary and Infinitary Conditions
Foundations of System Theory: Finitary and Infinitary Conditions
Ernest G. Manes, Brian D.O. Anderson, Michael A. Arbib, E. G. Manes

from: $59.78

The Construction of Reality (Cambridge Studies in Philosophy)
The Construction of Reality (Cambridge Studies in Philosophy)
Michael A. Arbib, Mary B. Hesse

from: $12.49

The Neural Simulation Language: A System for Brain Modeling
The Neural Simulation Language: A System for Brain Modeling
Alfredo Weitzenfeld, Michael A. Arbib

from: $9.49

In Search of the Person: Philosophical Explorations in Cognitive Science
In Search of the Person: Philosophical Explorations in Cognitive Science
Michael A. Arbib

from: $7.39

Dynamic Interactions in Neural Networks: Models and Data (Research Notes in Neural Computing)
Dynamic Interactions in Neural Networks: Models and Data (Research Notes in Neural Computing)
Michael A. Arbib, Shun-Ichi Amari

from: $109.99

Neural Organization: Structure, Function, and Dynamics
Neural Organization: Structure, Function, and Dynamics
Michael A. Arbib, Alice Szentagothai

from: $55.48

Visual Structures and Integrated Functions (Research Notes in Neural Computing)
Visual Structures and Integrated Functions (Research Notes in Neural Computing)
Michael A. Arbib

from: $109.99

Action to Language via the Mirror Neuron System
Action to Language via the Mirror Neuron System
Michael A. Arbib

from: $63.39

Visuomotor Coordination: Amphibians, Comparisons, Models, and Robots
Visuomotor Coordination: Amphibians, Comparisons, Models, and Robots
Michael A. Arbib, Jorg Peter Ewert

from: $219.99

How the Brain Got Language: The Mirror System Hypothesis
How the Brain Got Language: The Mirror System Hypothesis
Michael A. Arbib

Out of Stock

Natural and Artificial Parallel Computation
Natural and Artificial Parallel Computation
Michael A. Arbib

Out of Stock

Arrows, Structures, and Functors: The Categorical Imperative
Arrows, Structures, and Functors: The Categorical Imperative
Michael A. Arbib

Out of Stock

Language, Music, and the Brain: A Mysterious Relationship
Language, Music, and the Brain: A Mysterious Relationship
Michael A. Arbib

Out of Stock

Computers and the Cybernetic Society
Computers and the Cybernetic Society
Michael A. Arbib

Out of Stock

Conceptual Models of Neural Control
Conceptual Models of Neural Control
Michael A. Arbib, John Szentagothai, János Szentágothai

Out of Stock

Customer Reviews

0 customer rating | 0 review
There are currently no reviews. Be the first to review this work.
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured