Vienna Development Method: The Meta-Language

AvD. Bjorner,C.B. Jones

Häftad, Engelska, 1978

Del i serien Lecture Notes in Computer Science

339 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

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

E-bok

32 kr

Studies in Hadith Methodology and Literature

Muhammad Mustafa Azami

Häftad, 1978

169 kr

AHH! That's What I Call Horror: An Anthology of '90s Horror

Damien B. Raphael, J.V. Gachs, J.W. Donley, Patrick Barb, Carson Winter, P.L. McMillan, Mathew Wend, C.B. Jones, Edith Lockwood, Christopher O'Halloran, Bridget D. Brave, S.E. Denton, Chelsea Pumpkins

E-bok

55 kr

mural: A Formal Development Support System

R.D. Moore, Peter Lindsay, K.D. Jones, C.B. Jones

E-bok

2012

732 kr

Abstract Software Specifications

D. Bjorner

Häftad, 1980

450 kr

mural: A Formal Development Support System

C.B. Jones, K.D. Jones, Peter Lindsay, R.D. Moore

Häftad, 1991

560 kr

Howls From the Wreckage: An Anthology of Disaster Horror

Lindsey Ragsdale, Gully Novaro, Jennifer L. Collins, Timaeus Bloom, Bridget D. Brave, Thea Maeve, Joseph Andre Thomas, Ryan Marie Ketterer, Solomon Forse, Michelle Tang, Chelsea Pumpkins, David Worn, TJ Price, C.B. Jones, Caleb Stephens, P.L. McMillan, Carson Winter, L.P. Hernandez, Cassandra Khaw, Mike Adamson, Nick Cutter, Christopher O'Halloran