Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 形式方法：基礎與應用：第18屆巴西研討會，SBMF 2015，巴西貝洛哈里藏特，2015年9月21-22日，會議錄（計算機科學講義）

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2016-02-03
  • 售價: $2,040
  • 貴賓價: 9.5 折 $1,938
  • 語言: 英文
  • 頁數: 195
  • 裝訂: Paperback
  • ISBN: 3319294725
  • ISBN-13: 9783319294728
  • 相關分類: Computer-Science

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

相關主題

商品描述

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

商品描述(中文翻譯)

本書包含了2015年9月在巴西貝洛哈里藏特舉行的第18屆巴西正式方法研討會（SBMF 2015）經修訂的選定論文。

本卷中呈現的11篇論文是從25篇提交的論文中仔細審核和選出的。這些論文被組織成以下主題部分：模型檢查；語言與語義；精煉與驗證；測試與評估。

類似商品

最後瀏覽商品 (20)