Symposium Semantics Algorithmic Languages (14 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (14)

to

Custom price range (£)

to

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 3.05

    £ 13.72 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Broschiert. Condition: Gut. 371 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 710. …

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Anybook.com, Lincoln, United KingdomAnybook.com

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 3.30

    £ 13.60 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:3540053778.

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Richard J Barbrick, Bloomington, IN, U.S.A.Richard J Barbrick

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 15.02

    £ 4.27 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    paperback. Condition: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping.

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers

    4-star seller
    Contact seller

    Condition: Used - Good

    £ 5.62

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Good. Some marks to the cover on both sides. Inscription to the inside page, content may have a few areas of foxing, content is fine to read.

  • Language: English

    Published by Springer-Verlag, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Alhambra Books, Edmonton, AB, CanadaAlhambra Books

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 7.70

    £ 26.42 shipping 
    Ships from Canada to U.S.A.

    Quantity: 1 available

    Trade Paperback. Condition: Good +. Lecture Notes in Mathematics 188. 372 pp. Wraps rubbed, edge and corner wear, small chip bottom edge. Interior unmarked. Spine straight and uncreased.

  • Language: English

    Published by Springer-Verlag, 1971

    0387053778 / 9780387053776

    • Softcover

    Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers

    4-star seller
    Contact seller

    Condition: Used - Very good

    £ 8.70

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Very Good. Ex-library, usual stamps. Rebound as hardcover, brown cloth covers with gilt title on the spine, slight shelfwear to extremities of bookcovers, Previous owners signature on the inside cover and title page, otherwise fine.

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Libros Ambigú, Madrid, M, SpainLibros Ambigú

    4-star seller
    Contact seller

    Condition: Used

    £ 10.54

    £ 26.66 shipping 
    Ships from Spain to U.S.A.

    Quantity: 1 available

    Condition: Normal. Springer. Berlin 1971 24 x 17 cm., 372 pag. 1ª edicion. LECTURE NOTES IN MATHEMATICS. Tapa blanda; buen estado de conservacion. MATEMATICAS . Ejemplares disponibles: 1 Normal.

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

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

    5-star seller
    Contact seller

    Condition: New

    £ 45.79

    £ 11.29 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

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

    5-star seller
    Contact seller

    Condition: New

    £ 44.91

    £ 30.10 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.…

  • Language: English

    Published by Springer, 1971

    3540053778 / 9783540053774

    • Softcover

    Seller: Buchpark, Trebbin, GermanyBuchpark

    5-star seller
    Contact seller

    Condition: Used - Fine

    £ 11.83

    £ 90.30 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher | Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams. …

  • Published by Berlin ua Springer, 1971

    Seller: Zentralantiquariat Leipzig GmbH, Leipzig, GermanyZentralantiquariat Leipzig GmbH

    5-star seller
    Contact seller

    Condition: Used

    £ 22.15

    £ 41.28 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Add to basket

    VI, 372 S., 2 Bl. OBr. Umschl. angeschmutzt. St. u. Sign. a. Tit. (Lecture notes in mathematics 188). Sprache: Englisch.

  • Language: English

    Published by Springer Berlin Heidelberg Jan 1971, 1971

    3540053778 / 9783540053774

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 37.87

    £ 19.78 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams. 380 pp. Englisch. …

  • Language: English

    Published by Springer Berlin Heidelberg, 1971

    3540053778 / 9783540053774

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 35.05

    £ 42.13 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedur.…

  • Language: English

    Published by Springer, Springer Vieweg Jan 1971, 1971

    3540053778 / 9783540053774

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 37.87

    £ 51.60 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch. …