Structured Object-Oriented Formal Language and Method : 9th International Wor...

Description: Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Paperback by Miao, Huaikou (EDT); Tian, Cong (EDT); Liu, Shaoying (EDT); Duan, Zhenhua (EDT), ISBN 3030414175, ISBN-13 9783030414177, Like New Used, Free shipping in the US This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Price: 66.16 USD

Location: Jessup, Maryland

End Time: 2024-10-20T17:02:59.000Z

Shipping Cost: 0 USD

Product Images

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Structured Object-Oriented Formal Language and Method : 9th Inter

Number of Pages: IX, 364 Pages

Language: English

Publication Name: Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Publisher: Springer International Publishing A&G

Publication Year: 2020

Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Hardware / General

Type: Textbook

Item Weight: 20.3 Oz

Author: Cong Tian

Subject Area: Computers

Item Length: 9.3 in

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback