More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Programming and Software Engineering

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Editors: Bjørner, Nikolaj, de Boer, Frank (Eds.)

書籍の購入

イーブック 67,82 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-19249-9
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ソフトカバー 80,00 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-19248-2
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Usually dispatched within 3 to 5 business days.
この書籍について

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Table of contents (43 chapters)

  • Resource Analysis: From Sequential to Concurrent and Distributed Programs

    Albert, Elvira (et al.)

    Pages 3-17

    Preview Buy Chapter 26,95 €
  • AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned

    Damm, Werner

    Pages 18-19

    Preview Buy Chapter 26,95 €
  • Automated Circular Assume-Guarantee Reasoning

    Elkader, Karam Abd (et al.)

    Pages 23-39

    Preview Buy Chapter 26,95 €
  • Towards Formal Verification of Orchestration Computations Using the ${\mathbb K}$ Framework

    AlTurki, Musab A. (et al.)

    Pages 40-56

    Preview Buy Chapter 26,95 €
  • Narrowing Operators on Template Abstract Domains

    Amato, Gianluca (et al.)

    Pages 57-72

    Preview Buy Chapter 26,95 €

書籍の購入

イーブック 67,82 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-19249-9
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ソフトカバー 80,00 €
価格の適用国: Japan (小計)
  • ISBN 978-3-319-19248-2
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Usually dispatched within 3 to 5 business days.
Loading...

あなたへのおすすめ

Loading...

書誌情報

Bibliographic Information
Book Title
FM 2015: Formal Methods
Book Subtitle
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Editors
  • Nikolaj Bjørner
  • Frank de Boer
Series Title
Programming and Software Engineering
Series Volume
9109
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
イーブック ISBN
978-3-319-19249-9
DOI
10.1007/978-3-319-19249-9
ソフトカバー ISBN
978-3-319-19248-2
Edition Number
1
Number of Pages
XVI, 610
Number of Illustrations and Tables
156 b/w illustrations
Topics