Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
paperback. Zustand: Good.
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
Softcover. Zustand: Très bon. Légères traces d'usure sur la couverture. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Slight signs of wear on the cover. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1974
ISBN 10: 3540068597 ISBN 13: 9783540068594
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 27,02
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. 1974th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 17,77
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 30,94
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 30,94
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 24,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 25,20
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 44,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 46,48
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 31,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Amsterdam, Aux depens de la Compagnie, 1762
Anbieter: Antiquariat Hans-Jürgen Ketz, Münster, NRW, Deutschland
2 Bl., 395 Seiten, 1 Bl. Titel in Rot und Schwarz. (17 x 11 cm). Blaue Orig.Broschur, unbeschnitten. ** Einband etwas fleckig u. lichtrandig. Rückenschild am Rand abgeblättert. Text sauber.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 34,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567.
Sprache: Französisch
Verlag: Librairie des Champs-Élysées, 1975
ISBN 10: 2702404243 ISBN 13: 9782702404249
Anbieter: Lioudalivre, Conches en ouche, Frankreich
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Proving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in VDL.- The suitability of a very high level language (setl) for simulation structuring and control.- A control statement for natural top-down structured programming.- On the transfer of control between contexts.- Equivalences dans l'algèbre des schémas de programme.- Inductive assertion patterns for recursive procedures.- Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.- Non-existence of program optimizers in an abstract setting.- Listing of information structures defined by fixed-point operators.- Application de la structuration de systeme a la conception interne du systeme GEMAU.- Un systeme de communications: logiciel ou materiel .- Structure du systeme SAR.- Une Transformation de programmes sequentiels en programmes paralleles.- A model for structured parallel processing in block-structured programming languages.- First version of a data flow procedure language.- Towards more flexible type systems.- Behavioral semantics of nonrecursive control structures.- Towards a theory of type structure.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Programming Symposium | Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 | B. Robinet | Taschenbuch | viii | Englisch | Springer | EAN 9783540068594 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1984
ISBN 10: 3540129251 ISBN 13: 9783540129257
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait 'vecteur' et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une impl¿ntation des coroutines en Lisp, application ¿malltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1980
ISBN 10: 3540099816 ISBN 13: 9783540099819
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.
Taschenbuch. Zustand: Neu. International Symposium on Programming | Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 | B. Robinet | Taschenbuch | x | Englisch | 1980 | Springer | EAN 9783540099819 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. International Symposium on Programming | 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings | M. Paul (u. a.) | Taschenbuch | vi | Englisch | 1984 | Springer | EAN 9783540129257 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 24,38
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Französisch
Verlag: Kessinger Publishing, LLC, 2009
ISBN 10: 1120312191 ISBN 13: 9781120312198
Anbieter: moluna, Greven, Deutschland
EUR 29,78
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnThis scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have.
EUR 35,26
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnThis is a reproduction of the original artefact. Generally these books are created from careful scans of the original. This allows us to preserve the book accurately and present it in the way the author intended. Since the origina.