Symposium on Semantics of Algorithmic Languages
E. Engeler
ISBN 10: 3540053778 ISBN 13: 9783540053774
Published by Springer, 1971
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
Symposium on Semantics of Algorithmic Languages | E. Engeler | Taschenbuch | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540053774 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 101888719
Bibliographic Details
Title: Symposium on Semantics of Algorithmic ...
Publisher: Springer
Publication Date: 1971
Binding: Taschenbuch
Condition: Neu
Top Search Results from the AbeBooks Marketplace
Seller Image
Symposium on Semantics of Algorithmic Languages Lecture Notes in Mathematics, 188
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 2194682
Buy Used
US$ 4.14
US$ 15.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] Engeler, E.
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
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. Seller Inventory # 009688-6
Buy Used
US$ 4.15
US$ 87.33 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Symposium on Semantics of Algorithmic Languages
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
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. Seller Inventory # 2931213
Buy Used
US$ 4.57
US$ 18.00 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Symposium on Semantics of Algorithmic Languages
Seller: Alhambra Books, Edmonton, AB, Canada
Seller rating 4 out of 5 stars
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. Seller Inventory # 023154
Buy Used
US$ 10.40
US$ 60.00 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
Quantity: 1 available
Stock Image
Symposium on Semantics of Algorithmic Languages
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 4132904/202
Buy Used
US$ 11.70
US$ 122.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.
Seller: Libros Ambigú, Madrid, M, Spain
Seller rating 4 out of 5 stars
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. Seller Inventory # 700084933
Buy Used
US$ 15.31
US$ 36.14 shipping
Ships from Spain to U.S.A.
Ships from Spain to U.S.A.
Quantity: 1 available
Stock Image
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003845005
Seller Image
Symposium on Semantics of Algorithmic Languages
Published by
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
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. Seller Inventory # 4878742
Buy New
US$ 47.51
US$ 57.11 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Symposium on Semantics of Algorithmic Languages
Published by
Springer, Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. Seller Inventory # 9783540053774
Buy New
US$ 51.33
US$ 69.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Symposium on Semantics of Algorithmic Languages
Published by
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 9783540053774
Buy New
US$ 51.33
US$ 73.30 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available