Del i serien Lecture Notes in Computer Science

Language Hierarchies and Interfaces

International Summer School

Häftad, Engelska, 1976

AvF.L. Bauer,K. Samelson

729 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1976-12-01
Mått155 x 233 x 24 mm
Vikt668 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor432
Upplaga1976
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540079941

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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, 1979

689 kr

Del 137

Handbook for Automatic Computation

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

Häftad, 2014

709 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