Get Free Shipping on orders over $79
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers - Cong Tian

Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

By: Cong Tian (Editor), Zhenhua Duan (Editor), Shaoying Liu (Editor), Fumiko Nagoya (Editor)

Paperback | 21 April 2017

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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. 

More in Functional Programming

C# Programming in easy steps : Master C# fundamentals! - Mike McGrath
FORTRAN Programming in Easy Steps : In Easy Steps - Mike McGrath
Programming Clojure, Fourth Edition - Alex Miller
Mastering Clojure Macros - Colin Jones

RRP $32.35

$12.00

63%
OFF
Introducing Erlang, 2e - Simon St Laurent

RRP $76.00

$39.75

48%
OFF
Parallel and Concurrent Programming in Haskell - Simon Marlow

RRP $85.50

$34.00

60%
OFF
Clojure Cookbook : Recipes for Functional Programming - Luke VanderHart
Clojure Applied - Ben Vandgrift

RRP $40.99

$16.00

61%
OFF