• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programspråk

      Algol-like Languages

      AvPeter O'Hearn,Robert Tennent

      Birkhauser Boston Inc

      1996

      Del i serien Progress in Theoretical Computer Science

      1 689 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      Inbunden

      1 094 kr

      Inbunden

      1 094 kr

      Häftad

      1 094 kr

      Häftad

      1 094 kr

      Beskrivning

      In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to review the attempts over recent years to use programming languages based on ALGOL 60, using Backus' original document as an introduction.

      Produktinformation

      • Märke:Birkhauser Boston Inc
      • Utgivningsdatum:1996-12-01
      • Höjd:155 x 235 x 21 mm
      • Vikt:617 g
      • Språk:Engelska
      • Serie:Progress in Theoretical Computer Science
      • Antal sidor:654
      • Upplaga:1996
      • Förlag:Birkhauser Boston Inc
      • EAN:9780817639365

      Utforska kategorier

      • Programspråk inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Robert Tennent, Peter O'Hearn - Algol-like Languages, E-bok

      Algol-like Languages

      Robert Tennent, Peter O'Hearn

      E-bok
      2013

      1 413 kr

      Robert Tennent, Peter O'Hearn - Algol-like Languages, E-bok

      Algol-like Languages

      Robert Tennent, Peter O'Hearn

      E-bok
      2013

      1 413 kr

      Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani - Verified Software: Theories, Tools, Experiments, Häftad

      Verified Software: Theories, Tools, Experiments

      Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani

      Häftad, 2010

      566 kr

      Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens - Verified Software: Theories, Tools, Experiments, E-bok

      Verified Software: Theories, Tools, Experiments

      Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens

      E-bok
      2010

      732 kr

      Hoppa över listan

      Mer från samma serie

      Bachmair - Canonical Equational Proofs, Häftad

      Canonical Equational Proofs

      Bachmair

      Häftad, 1991

      551 kr

      G. Zhang - Logic of Domains, Inbunden

      Logic of Domains

      G. Zhang

      Inbunden, 1991

      1 127 kr

      P.-L. Curien - Categorical Combinators, Sequential Algorithms, and Functional Programming, Inbunden

      Categorical Combinators, Sequential Algorithms, and Functional Programming

      P.-L. Curien

      Inbunden, 1993

      1 094 kr

      A. Sinclair - Algorithms for Random Generation and Counting: A Markov Chain Approach, Inbunden

      Algorithms for Random Generation and Counting: A Markov Chain Approach

      A. Sinclair

      Inbunden, 1993

      1 094 kr

      J. Kobler, U. Schöning, J. Toran - Graph Isomorphism Problem, Inbunden

      Graph Isomorphism Problem

      J. Kobler, U. Schöning, J. Toran

      Inbunden, 1993

      1 094 kr

      Bert van Keulen - H-Infinity Control for Distributed Parameter Systems, Inbunden
      Del 11

      H-Infinity Control for Distributed Parameter Systems

      Bert van Keulen

      Inbunden, 1993

      877 kr

      Howard Straubing - Finite Automata, Formal Logic, and Circuit Complexity, Inbunden

      Finite Automata, Formal Logic, and Circuit Complexity

      Howard Straubing

      Inbunden, 1994

      1 127 kr

      James S. Royer, John Case - Subrecursive Programming Systems, Inbunden

      Subrecursive Programming Systems

      James S. Royer, John Case

      Inbunden, 1994

      1 127 kr

      Dario Bini, Victor Y. Pan - Polynomial and Matrix Computations, Inbunden

      Polynomial and Matrix Computations

      Dario Bini, Victor Y. Pan

      Inbunden, 1994

      1 638 kr

      Erwin Engeler - Combinatory Programme, Inbunden

      Combinatory Programme

      Erwin Engeler

      Inbunden, 1994

      1 094 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Peter O'Hearn, Robert Tennent - Algol-like Languages, Inbunden

      Algol-like Languages

      Peter O'Hearn, Robert Tennent

      Inbunden, 1996

      1 094 kr

      Peter O'Hearn, Robert Tennent - Algol-like Languages, Häftad

      Algol-like Languages

      Peter O'Hearn, Robert Tennent

      Häftad, 2011

      1 094 kr

      Peter O'Hearn, Robert Tennent - Algol-like Languages, Häftad

      Algol-like Languages

      Peter O'Hearn, Robert Tennent

      Häftad, 2013

      1 094 kr

      Peter O'Hearn, Robert Tennent - Algol-like Languages, Inbunden

      Algol-like Languages

      Peter O'Hearn, Robert Tennent

      Inbunden, 1996

      1 094 kr

      Robert Tennent, Peter O'Hearn - Algol-like Languages, E-bok

      Algol-like Languages

      Robert Tennent, Peter O'Hearn

      E-bok
      2013

      1 413 kr

      Robert Tennent, Peter O'Hearn - Algol-like Languages, E-bok

      Algol-like Languages

      Robert Tennent, Peter O'Hearn

      E-bok
      2013

      1 413 kr

      Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani - Verified Software: Theories, Tools, Experiments, Häftad

      Verified Software: Theories, Tools, Experiments

      Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani

      Häftad, 2010

      566 kr

      Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens - Verified Software: Theories, Tools, Experiments, E-bok

      Verified Software: Theories, Tools, Experiments

      Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens

      E-bok
      2010

      732 kr

      Robert Tennent - Come Back To Bed, Häftad

      Come Back To Bed

      Robert Tennent

      Häftad, 2018

      503 kr

      K. y. Lam, I. Shparll Inski, Igor E. Shparlinski, etc., Kwook-Yan Lam, Australia) Wang, Huaxiong University of Wollongong, Chaoping Xing - Cryptography and Computational Number Theory, Inbunden

      Cryptography and Computational Number Theory

      K. y. Lam, I. Shparll Inski, Igor E. Shparlinski, etc., Kwook-Yan Lam, Australia) Wang, Huaxiong University of Wollongong, Chaoping Xing

      Inbunden, 2001

      900 kr