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.75

or 4 interest-free payments of $12.69 with

 or 

Ships in 5 to 7 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 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Supremacy : AI, ChatGPT and the Race that Will Change the World - Parmy Olson
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF