Limited Time SaleUS$28.77 cheaper than the new price!!
| Management number | 233299629 | Release Date | 2026/06/27 | List Price | US$19.18 | Model Number | 233299629 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application. Read more
| ASIN | 3319049143 |
|---|---|
| ISBN10 | 9783319049144 |
| ISBN13 | 978-3319049144 |
| Edition | 2014th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.46 x 9.25 inches |
| Item Weight | 10.2 ounces |
| Print length | 203 pages |
| Publication date | March 11, 2014 |
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form