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). 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Author(s): Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan Format: Paperback Publisher: Springer Nature Switzerland AG, Switzerland Imprint: Springer Nature Switzerland AG ISBN-13: 9783030774738, 978-3030774738 Synopsis This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal [url] to the Corona pandemic this event was held virtually.
Price: 38.14 GBP
Location: Aldershot
End Time: 2024-10-28T09:03:54.000Z
Shipping Cost: 28.98 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
Item Height: 235 mm
Item Width: 155 mm
Series: Theoretical Computer Science and General Issues
Author: Fumiko Nagoya, Shaoying Liu, Jinyun Xue, Zhenhua Duan
Publication Name: Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Format: Paperback
Language: English
Publisher: Springer Nature Switzerland A&G
Subject: Computer Science
Publication Year: 2021
Type: Textbook
Item Weight: 338 g
Number of Pages: 205 Pages
