Items related to Structured Object-Oriented Formal Language and Method:...
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues) - Softcover
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 verification.
Due to the Corona pandemic this event was held virtually.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2021
- ISBN 10 3030774732
- ISBN 13 9783030774738
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages216
- EditorXue Jinyun, Nagoya Fumiko, Liu Shaoying, Duan Zhenhua
Search results for Structured Object-Oriented Formal Language and Method:...
Seller Image
Structured Object-oriented Formal Language and Method : 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43502544-n
Quantity: Over 20 available
Stock Image
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020029587
Quantity: Over 20 available
Seller Image
Structured Object-oriented Formal Language and Method : 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43502544
Quantity: Over 20 available
Stock Image
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030774738_new
Quantity: Over 20 available
Seller Image
Structured Object-Oriented Formal Language and Method
Published by
Berlin Springer International Publishing Springer Jun 2021, 2021
ISBN 10: 3030774732
ISBN 13: 9783030774738
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 verification.Due to the Corona pandemic this event was held virtually. 205 pp. Englisch. Seller Inventory # 9783030774738
Quantity: 2 available
Seller Image
Structured Object-oriented Formal Language and Method : 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43502544-n
Quantity: Over 20 available
Stock Image
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Lecture Notes in Computer Science, 12723)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26387481875
Quantity: 4 available
Stock Image
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers . Science and General Issues, Band 12723)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 216 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 42907591/1
Quantity: 1 available
Seller Image
Structured Object-oriented Formal Language and Method : 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43502544
Quantity: Over 20 available
Stock Image
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Lecture Notes in Computer Science, 12723)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 393166540
Quantity: 4 available