Verwandte Artikel zu Symposium on Semantics of Algorithmic Languages: 188...
Symposium on Semantics of Algorithmic Languages: 188 (Lecture Notes in Mathematics, 188) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 56,91
EUR 3,41 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Symposium on Semantics of Algorithmic Languages: 188...
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. Bestandsnummer des Verkäufers 2194682
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. Bestandsnummer des Verkäufers 2931213
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Anbieter: Richard J Barbrick, Bloomington, IN, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good. Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping. Bestandsnummer des Verkäufers 100509-Symposium
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES.
Anbieter: Libros Ambigú, Madrid, M, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 700084933
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020156854
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Symposium on Semantics of Algorithmic Languages
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5907403-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Symposium on Semantics of Algorithmic Languages (Paperback)
ISBN 10: 3540053778
ISBN 13: 9783540053774
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 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. Bestandsnummer des Verkäufers ria9783540053774_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Symposium on Semantics of Algorithmic Languages
Verlag:
Springer Berlin Heidelberg Jan 1971, 1971
ISBN 10: 3540053778
ISBN 13: 9783540053774
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540053774
Anzahl: 2 verfügbar
Foto des Verkäufers
Symposium on Semantics of Algorithmic Languages
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5907403
Anzahl: 15 verfügbar