Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
暫譯: 結構化物件導向形式語言與方法：第六屆國際研討會 SOFL+MSVL 2016，東京，日本，2016年11月15日，修訂選定論文（計算機科學講義筆記）

出版商: Springer
出版日期: 2017-04-21
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 252
裝訂: Paperback
ISBN: 3319577077
ISBN-13: 9783319577074
相關分類: Object-oriented、Computer-Science

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

商品描述

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.