On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.0387079947 Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers DA1412455
Anzahl: 1 verfügbar
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Salissures sur la tranche. Edition 1976. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Stains on the edge. Edition 1976. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-597-467
Anzahl: 1 verfügbar
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. 427 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: 740. Bestandsnummer des Verkäufers 2194664
Anzahl: 1 verfügbar
Anbieter: Literary Cat Books, Machynlleth, Powys, WALES, Vereinigtes Königreich
Original wrappers. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First Edition. With library stamps & labels. Occasional annotation. Slight wear to spine, covers & corners.; Large 8vo 9" - 10" tall; x, 428 pages. Bestandsnummer des Verkäufers LCK91276
Anzahl: 1 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540079941
Anzahl: 10 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems. 444 pp. Englisch. Bestandsnummer des Verkäufers 9783540079941
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783540079941_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, Woodside, NY, USA
Zustand: New. pp. 444. Bestandsnummer des Verkäufers 263060603
Anzahl: 4 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems. Bestandsnummer des Verkäufers 9783540079941
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 444 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5835940
Anzahl: 4 verfügbar