Lecture Notes in Computer Science

The Vienna Development Method: The Meta-Language

Editors: Bjorner, D., Jones, C.B. (Eds.)

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-540-35836-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-540-08766-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (2 chapters)

  • On the formalization of programming languages: Early history and main approaches

    Peter Lucas

    Pages 1-23

  • Programming in the meta-language: A tutorial

    Dines Bjørner

    Pages 24-217

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-540-35836-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-540-08766-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Vienna Development Method: The Meta-Language
Editors
  • D. Bjorner
  • C.B. Jones
Series Title
Lecture Notes in Computer Science
Series Volume
61
Copyright
1978
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35836-7
DOI
10.1007/3-540-08766-4
Softcover ISBN
978-3-540-08766-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XX, 384
Topics