The Vienna Development Method: The Meta-Language Image close
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Show Hide Adult Content
The Vienna Development Method: The Meta-Language close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

The Vienna Development Method: The Meta-Language

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$108.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $27.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$333.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$286.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
DIANA. An Intermediate Language for Ada
$83.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency
$207.99
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Petri Nets and Other Models of Concurrency XVI
$243.99
Transactions on Petri Nets and Other Models of Concurrency XVI
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $53
$143.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Descriptional Complexity of Formal Systems
$161.99
Descriptional Complexity of Formal Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel and Distributed Processing and Applications Save $62
$140.99
$203.95
Parallel and Distributed Processing and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorics and Computer Science Save $42
$153.99
$196.95
Combinatorics and Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Distributed Computing Save $56
$139.99
$196.95
Distributed Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Mining and Bioinformatics
$140.99
Data Mining and Bioinformatics
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation of Functional Languages
$135.99
Implementation of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing Save $55
$140.99
$196.95
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Multi-Agent Systems
$170.99
Programming Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative Programming and Component Engineering Save $31
$137.99
$169.95
Generative Programming and Component Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $57
$138.99
$196.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks

Description



Table of Contents

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.
Release date Australia
May 1st, 1978
Audience
  • Professional & Vocational
Contributors
  • Edited by C.B. Jones
  • Edited by D. Bjorner
Illustrations
XX, 384 p.
Pages
384
Dimensions
156x234x21
ISBN-13
9783540087663
Product ID
2840421

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation