Home/
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, L
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, L
No customer reviews yet
ISBN 9783319174037
- Published
- Apr 2015
- Language
- English
$47.07
In stock
Most orders arrive within 3 weeks. Shipping policy
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery over $35 · 15-day returns
Condition
Brand New
An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.
About this book
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Specifications
PublishedApr 27, 2015
ISBN-103319174037
ISBN-139783319174037
LanguageEnglish
Buying from Saanjhi
- Ships from the USA. Delivery to US addresses only.
- Free delivery on orders over $35.
- 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
- Secure checkout. We never store card details.
Readers who bought this also bought
More from Computers | Programming | Compilers