Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Abstract Software Specifications

1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Editors: Bjorner, D. (Ed.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38136-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-540-10007-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Abstract Architecture

    Pages 1-42

    Zemanek, Heinz

  • Foundations of denotational semantics

    Pages 43-99

    Stoy, Joseph E.

  • Models of programming language concepts

    Pages 100-143

    Jones, C. B.

  • Formalization of data base models

    Pages 144-215

    Bjørner, Dines

  • Experiments in block-structured GOTO language modeling: — EXITs versus continuations

    Pages 216-247

    Bjørner, Dines

Buy this book

eBook $44.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38136-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-540-10007-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Abstract Software Specifications
Book Subtitle
1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Editors
  • D. Bjorner
Series Title
Lecture Notes in Computer Science
Series Volume
86
Copyright
1980
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38136-5
DOI
10.1007/3-540-10007-5
Softcover ISBN
978-3-540-10007-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVI, 572
Topics