|
|
books
| book details |
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Edited by Shaoying Liu, Edited by Zhenhua Duan, Edited by Cong Tian, Edited by Fumiko Nagoya
|
| on special |
normal price: R 1 707.95
Price: R 1 536.95
|
| book description |
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.Â
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 21 Apr 2017
Language |
Format | Paperback / softback
Pages | 239
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-3195-7707-4
Readership Age |
BISAC | computers / programming languages / general
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 114.95
Price | R 1 903.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
