Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... Papers (Lecture Notes in Computer Science)
暫譯: 結構化物件導向形式語言與方法：第八屆國際研討會 SOFL+MSVL 2018，澳洲昆士蘭州黃金海岸，2018年11月16日，... 論文（計算機科學講義）

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... Papers (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2019-02-09
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 197
  • 裝訂: Paperback
  • ISBN: 3030136507
  • ISBN-13: 9783030136505
  • 相關分類: Object-oriented、Computer-Science

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

相關主題

商品描述

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and 
Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

商品描述(中文翻譯)

本書是第八屆國際結構化物件導向形式語言與方法研討會（SOFL+MSVL 2018）的經過徹底審稿的會議論文集，該研討會於2018年11月在澳大利亞昆士蘭州的黃金海岸舉行。

本卷收錄的11篇修訂完整論文是從21篇投稿中仔細審核和選出的。這些論文被組織在以下主題部分：程式設計與測試；驗證與確認；語義學；以及區塊鏈。

類似商品

最後瀏覽商品 (15)