Description: Structured Object-Oriented Formal Language and Method Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers Author(s): Shaoying Liu, Zhenhua Duan Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319174037, 978-3319174037 Synopsis 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.
Price: 30.55 GBP
Location: Aldershot
End Time: 2025-02-03T10:58:27.000Z
Shipping Cost: 27.48 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Structured Object-Oriented Formal Language and Method
Number of Pages: 189 Pages
Language: English
Publication Name: Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Publisher: Springer International Publishing A&G
Publication Year: 2015
Subject: Computer Science
Item Height: 235 mm
Item Weight: 314 g
Type: Textbook
Author: Zhenhua Duan, Shaoying Liu
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
