Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Editors: Bjorner, Dines, Broy, Manfred, Pottosin, Igor V. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48056-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-57316-6
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • Theory of domains and nearby

    Pages 1-7

    Ershov, Yu. L.

  • Predicative programming — A survey

    Pages 8-25

    Grundy, Jim

  • A three-valued logic for refinement

    Pages 26-42

    Grundy, Jim

  • A compositional semantics of combining forms for gamma programs

    Pages 43-56

    Sands, David

  • Algebraic properties of loop invariants

    Pages 57-66

    Futschek, Gerald

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48056-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-57316-6
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods in Programming and Their Applications
Book Subtitle
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Editors
  • Dines Bjorner
  • Manfred Broy
  • Igor V. Pottosin
Series Title
Lecture Notes in Computer Science
Series Volume
735
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48056-3
DOI
10.1007/BFb0039695
Softcover ISBN
978-3-540-57316-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 438
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.