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 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35836-7
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $49.99 net
( 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 chapter)

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

    Peter Lucas

    Pages 1-23

    Buy Chapter $29.95
  • Programming in the meta-language: A tutorial

    Dines Bjørner

    Pages 24-217

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $39.99 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35836-7
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $49.99 net
( price for USA )
  • ISBN 978-3-540-08766-3
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Vienna Development Method: The Meta-Language
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
Topics