Symposium on Semantics of Algorithmic Languages
N/A
ISBN 10: 3540053778 ISBN 13: 9783540053774
Verlag: Springer, 1971
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
1971. Paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783540053774
Bibliografische Details
Titel: Symposium on Semantics of Algorithmic ...
Verlag: Springer
Erscheinungsdatum: 1971
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Symposium on Semantics of Algorithmic Languages Lecture Notes in Mathematics, 188
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: 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. Artikel-Nr. 2194682
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) [Paperback] Engeler, E.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 009688-6
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 2931213
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages
Verlag:
Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 4132904/202
Anzahl: 1 verfügbar
Foto des Verkäufers
Symposium on Semantics of Algorithmic Languages
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540053774
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540053774_new
Anzahl: Mehr als 20 verfügbar