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

Haskell Brain Teasers : Exercise Your Mind - Rebecca Skinner
ERLANG Programming : A Concurrent Approach to Software Development - Francesco Cesarini
Parallel and Concurrent Programming in Haskell - Simon Marlow

RRP $85.75

$68.60

20%
OFF
Clojure Cookbook : Recipes for Functional Programming - Luke VanderHart
Mastering Clojure Macros : Write Cleaner, Faster, Smarter Code - Colin Jones
Introducing ERLANG : Getting Started in Functional Programming - Simon St Laurent
Programming Clojure : Pragmatic Programmers : 3rd Edition - Alex Miller
The Functional Approach to Programming - No Information Available

RRP $123.95

$118.75

The Art of Lisp Programming - Robin Jones