Programming symposium proceedings colloque von robinet (8 Ergebnisse)

paperback. Zustand: Good.

Zustand: 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. …

Zustand: 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.…

Zustand: New. In English.

Zustand: New. In English.

Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567.

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.…

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. …