Vienna Development Method: The Meta-Language

AvD. Bjorner,C.B. Jones

Häftad, Engelska, 1978

Del i serien Lecture Notes in Computer Science

342 kr

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

Produktinformation

Utgivningsdatum:1978-05-01
Mått:155 x 235 x 22 mm
Vikt:610 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:384
Upplaga:1978
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540087663

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.

Du kanske också är intresserad av

Studies in Hadith Methodology and Literature

Muhammad Mustafa Azami

Häftad, 1978

174 kr

Nomadic Alternative

Wolfgang Weissleder

Inbunden, 1978

1 748 kr

Sourcebook on the Environment

Kenneth A. Hammond, George Macinko, Wilma B. Fairchild

Inbunden, 1978

794 kr

Etudes economiques de l'OCDE : Yougoslavie 1978

OECD

E-bok

1978

234 kr

Howls From the Dark Ages: An Anthology of Medieval Horror

Solomon Forse, Jessica Peter, David Worn, Stevie Edwards, Bridget D. Brave, Michelle Tang, Ethan Yoder, Peter Ong Cook, J.L. Kiefer, Philippa Evans, Caleb Stephens, Lindsey Ragsdale, M.E. Bronstein, Christopher O'Halloran, C.B. Jones, Patrick Barb, P.L. McMillan, Cody Goodfellow, Hailey Piper, Brian Evenson, Christopher Buehlman