Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu
暫譯: 測試與證明：第十三屆國際會議 TAP 2019，作為2019年第三屆世界正式方法大會的一部分，於波爾圖舉行

Beyer, Dirk, Keller, Chantal

Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu
  • 出版商: Springer
  • 出版日期: 2019-09-11
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 207
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030311562
  • ISBN-13: 9783030311568

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.
The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

商品描述(中文翻譯)

本書為第十三屆國際測試與證明會議（TAP 2019）的經過審核的會議論文集，該會議於2019年10月在葡萄牙波爾圖舉行，作為第三屆世界正式方法大會的一部分。本卷中包含的10篇常規論文和2篇邀請論文，均經過仔細審核並從19篇投稿中選出。TAP會議促進針對證明與測試之間相互作用的驗證和正式方法的研究：推進各種技術及其結合，最終目標是提高軟體和系統的可靠性。

類似商品

最後瀏覽商品 (20)