Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected P by Shaoying Liu

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016…

byShaoying Liu, Zhenhua Duan, Cong Tian...

Kobo ebook | April 20, 2017

Pricing and Purchase Info

$53.59 online 
$66.97 list price save 19%

Prices and offers may vary in store

Available for download

Not available in stores

about

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. 

Title:Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016…Format:Kobo ebookPublished:April 20, 2017Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319577085

ISBN - 13:9783319577081

Look for similar items by category:

Reviews