Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
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.
R2,305
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
23050
@R216pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer International Publishing AG |
Country of origin | Switzerland |
Series | Lecture Notes in Computer Science, 10189 |
Release date | April 2017 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2017 |
Editors | Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya |
Dimensions | 235 x 155 x 13mm (L x W x T) |
Format | Paperback |
Pages | 239 |
Edition | 1st ed. 2017 |
ISBN-13 | 978-3-319-57707-4 |
Barcode | 9783319577074 |
Categories | |
LSN | 3-319-57707-7 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
