Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

著者

• World Congress on Formal Methods
• International Symposium of Formal Methods Europe
• Beek, Maurice H. ter
• McIver, Annabelle
• Oliveira, José N.

書誌事項

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)

（Lecture notes in computer science, 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering）

Springer, c2019

注記

"This volume contains the papers presented at the 23rd Symposium on Formal Methods (FM 2019), held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, during October 7-11, 2019" -- Preface

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BB29343462
• ISBN:
  • 9783030309411
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xxi, 774 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.F67
  • DC23 : 004.01/51
• 件名:
  • LCSH : Formal methods (Computer science) -- Congresses
• 親書誌ID:
  • BA00009279