Get Free Shipping on orders over $79
The Vienna Development Method : The Meta-Language - D. Bjorner

The Vienna Development Method

The Meta-Language

By: D. Bjorner (Editor), C.B. Jones (Editor)

Paperback | 1 May 1978

At a Glance

Paperback


$50.00

or 4 interest-free payments of $12.50 with

 or 

Ships in 7 to 10 business days

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.

More in Computer Science

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Empire of AI : Inside the reckless race for total domination - Karen Hao
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
A Cultural History of Computer Graphics - Carolin Scheler
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
What Art Is Now : Creativity in the Age of AI - Michael E. Jones
MRI in Practice : 5th Edition - Catherine Westbrook

RRP $82.95

$54.75

34%
OFF