Produktbild
Michael A. Arbib

Algebraic Approaches to Program Semantics

Buch

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 machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining t… Mehr

CHF 126.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Manes, Ernest G.
  • ISBN: 978-1-4612-9377-4
  • EAN: 9781461293774
  • Produktnummer: 16289591
  • Verlag: Springer New York
  • Sprache: Englisch
  • Erscheinungsjahr: 2014
  • Seitenangabe: 372 S.
  • Masse: H23.5 cm x B15.5 cm x D2.0 cm 563 g
  • Auflage: 1986
  • Abbildungen: Paperback
  • Gewicht: 563

44 weitere Werke von Michael A. Arbib:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.