Items related to Structured Object-Oriented Formal Language and Method:...

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... Computer Science and General Issues) - Softcover

 
9783030414177: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... Computer Science and General Issues)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Search results for Structured Object-Oriented Formal Language and Method:...

Seller Image

Miao, Huaikou (EDT); Tian, Cong (EDT); Liu, Shaoying (EDT); Duan, Zhenhua (EDT)
Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 40966792-n

Contact seller

Buy New

US$ 60.88
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020016915

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783030414177

Contact seller

Buy New

US$ 74.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Miao, Huaikou (EDT); Tian, Cong (EDT); Liu, Shaoying (EDT); Duan, Zhenhua (EDT)
Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 40966792

Contact seller

Buy Used

US$ 71.93
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783030414177_new

Contact seller

Buy New

US$ 67.29
Convert currency
Shipping: US$ 15.93
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Miao, Huaikou
Published by Springer 2020-02, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783030414177

Contact seller

Buy New

US$ 65.48
Convert currency
Shipping: US$ 20.60
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Miao, Huaikou (EDT); Tian, Cong (EDT); Liu, Shaoying (EDT); Duan, Zhenhua (EDT)
Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 40966792-n

Contact seller

Buy New

US$ 67.28
Convert currency
Shipping: US$ 19.95
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Huaikou Miao
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 376 pp. Englisch. Seller Inventory # 9783030414177

Contact seller

Buy New

US$ 63.79
Convert currency
Shipping: US$ 26.63
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Miao, Huaikou (EDT); Tian, Cong (EDT); Liu, Shaoying (EDT); Duan, Zhenhua (EDT)
Published by Springer, 2020
ISBN 10: 3030414175 ISBN 13: 9783030414177
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 40966792

Contact seller

Buy Used

US$ 76.35
Convert currency
Shipping: US$ 19.95
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Huaikou Miao
ISBN 10: 3030414175 ISBN 13: 9783030414177
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030414177

Contact seller

Buy New

US$ 63.79
Convert currency
Shipping: US$ 35.71
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 5 more copies of this book

View all search results for this book