Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
暫譯: 結構化物件導向形式語言與方法：第四屆國際研討會 SOFL+MSVL 2014，盧森堡，2014年11月6日，修訂選擇論文（計算機科學講義）

出版商: Springer
出版日期: 2015-04-27
售價: $2,040
貴賓價: 9.5 折 $1,938
語言: 英文
頁數: 200
裝訂: Paperback
ISBN: 3319174037
ISBN-13: 9783319174037
相關分類: Object-oriented、Computer-Science

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

商品描述

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.