Jarir Logo

Structured Object-Oriented Formal Language and Method : 6th International Workshop

SOFL+MSVL 2016TokyoJapanNovember 152016Revised Selected

Printed Book
SR 302
Inclusive of VAT
Sold as: EACH
SR18Per Month/24 months
Author:Liu, Shaoying
Date of Publication: 2017
Book classification:Computer & Technology,English Books,
No. of pages:252 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR302
Incl. VAT

Choose your delivery preference

Or

About this Product

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.

Show more

Specifications

SKU9783319577074
Manufacturer Number9783319577074
year published2017
Show more

Report an issue with this product.

Customer Reviews