Abbey's Bookshop Logo
Go to my checkout basket
Login to Abbey's Bookshop
Register with Abbey's Bookshop
Gift Vouchers
Browse by Category

facebook
Google Book Preview
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo,...
— —
Zhenhua Duan Zhenhua Duan
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers by Zhenhua Duan at Abbey's Bookshop,

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

Zhenhua Duan Zhenhua Duan Cong Tian Fumiko Nagoya


9783319577074

Springer International Publishing AG


Functional programming;
Programming & scripting languages: general;
Software Engineering


Paperback

239 pages

$183.95  $165.55
We can order this in for you
How long will it take?
order qty:  
Add this item to my basket

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.

Edited by:   Zhenhua Duan, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Imprint:   Springer International Publishing AG
Country of Publication:   Switzerland
Edition:   1st ed. 2017
Volume:   10189
Dimensions:   Height: 235mm,  Width: 155mm,  Spine: 13mm
Weight:   3.869kg
ISBN:   9783319577074
ISBN 10:   3319577077
Series:   Theoretical Computer Science and General Issues
Pages:   239
Publication Date:   April 2017
Audience:   Professional and scholarly ,  College/higher education ,  Undergraduate ,  Further / Higher Education
Format:   Paperback
Publisher's Status:   Active

My Shopping Basket
Your cart does not contain any items.