Andere Kunden interessierten sich auch für
![Mathematical Foundations of Computer Science 1978]( "Mathematical Foundations of Computer Science 1978")
Mathematical Foundations of Computer Science 197839,99 €![Mathematical Studies of Information Processing]( "Mathematical Studies of Information Processing")
Mathematical Studies of Information Processing77,99 €![International Symposium on Programming]( "International Symposium on Programming")
International Symposium on Programming39,99 €![Conclog: A Methodological Approach to Concurrent Logic Programming]( "Conclog: A Methodological Approach to Concurrent Logic Programming")
Conclog: A Methodological Approach to Concurrent Logic Programming77,99 €![Language Design and Programming Methodology]( "Language Design and Programming Methodology")
Language Design and Programming Methodology18,99 €![Algorithmic Language and Program Development]( "Algorithmic Language and Program Development")
Algorithmic Language and Program Development39,99 €![Algorithmic Language and Program Development]( "Algorithmic Language and Program Development")
Algorithmic Language and Program Development39,99 €
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.