Language Hierarchies and Interfaces

International Summer School

AvF.L. Bauer,K. Samelson

Häftad, Engelska, 1976

Del i serien Lecture Notes in Computer Science

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1976-12-01
Mått:155 x 233 x 24 mm
Vikt:668 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:432
Upplaga:1976
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540079941

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Program Construction

F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner, F.L. Bauer, M. Broy

Häftad

516 kr

Del 137

Handbook for Automatic Computation

Albert A. Grau, U. Hill, H. Langmaack, Friedrich L. Bauer, Alston S. Householder, K. Samelson

Häftad

533 kr

Del 141

Mathematische Hilfsmittel des Ingenieurs

Tatomir P. Angelitch, G. Aumann, Friedrich Wilhelm Bauer, R. Bulirsch, H. P. Künzi, H. Rutishauser, K. Samelson, Robert Sauer, J. Stoer, Robert Sauer, Istvan Szabo, H. Neuber, W. Nürnberg, K. Pöschl, E. Truckenbrodt, W. Zander