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 #10189)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2017
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319577081
- Related ISBNs:
- 9783319577074
- Publisher:
- Springer International Publishing
- Date of Addition:
- 10/07/18
- Copyrighted By:
- Springer International Publishing, Cham
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Shaoying Liu
- by Zhenhua Duan
- by Cong Tian
- by Fumiko Nagoya
- in Nonfiction
- in Computers and Internet