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.)

Buy this book

eBook $89.00
price for USA (gross)
  • 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
  • ISBN 978-3-540-57316-6
  • Free shipping for individuals worldwide
  • 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 (2 chapters)

  • Communication as unification in process algebras: Operational semantics

    Philippe Jorrand

    Pages 190-216

  • A two-phase approach to reverse engineering using formal methods

    Gerald C. Gannod, Betty H. C. Cheng

    Pages 335-348

Buy this book

eBook $89.00
price for USA (gross)
  • 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
  • ISBN 978-3-540-57316-6
  • Free shipping for individuals worldwide
  • 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