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.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 3,93
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 3,57
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 9,48
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1971
ISBN 10: 3540053778 ISBN 13: 9783540053774
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Zustand: New. 1971. Paperback. . . . . . Books ship from the US and Ireland.
Zustand: 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.
Verlag: Berlin ua Springer, 1971
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
VI, 372 S., 2 Bl. OBr. Umschl. angeschmutzt. St. u. Sign. a. Tit. (Lecture notes in mathematics 188). Sprache: Englisch.