Computing and Information Technology, Computer Programming / Software Engineering, Software Engineering
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

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

Paperback Published on: 21/04/2017
£44.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
View other formats and editions
wordery
has a fantastic rating on

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.

Publisher information

  • Publisher: Springer International Publishing
  • ISBN: 9783319577074
  • Number of pages: 239
  • Dimensions: 156 x 234 x 16 mm
  • Weight: 390g
  • Languages: English