Programming Languages Definition Selected by Bekic (4 results)

Author: 
Title: 
Refine with Advanced Search

Refine your search

  • Books (4)

  • New (4)
Learn more

to

Custom price range (US$)

to

    • Language: English

      Published by Springer, 1984

      354013378X / 9783540133780

      • Softcover

      Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

      5-star seller
      Contact seller

      Condition: New

      US$ 70.77

      US$ 15.27 shipping 
      Ships from United Kingdom to U.S.A.

      Quantity: Over 20 available

      Condition: New. In.

    • Language: English

      Published by Springer 1984-08, 1984

      354013378X / 9783540133780

      • Softcover

      Seller: Chiron Media, Wallingford, United KingdomChiron Media

      5-star seller
      Contact seller

      Condition: New

      US$ 66.47

      US$ 20.95 shipping 
      Ships from United Kingdom to U.S.A.

      Quantity: 10 available

      PF. Condition: New.

    • Language: English

      Published by Springer, Springer, 1984

      354013378X / 9783540133780

      • Softcover

      Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

      5-star seller
      Contact seller

      Condition: New

      US$ 63.90

      US$ 72.18 shipping 
      Ships from Germany to U.S.A.

      Quantity: 1 available

      Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.…

    • Language: English

      Published by Springer, 1984

      354013378X / 9783540133780

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 60.04

      US$ 81.20 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Programming Languages and their Definition | Selected Papers | H. Bekic | Taschenbuch | xxxii | Englisch | 1984 | Springer | EAN 9783540133780 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …