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: 12723 (Lecture Notes in Computer Science, 12723) - 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.
Search results for Structured Object-Oriented Formal Language and Method:...
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: 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
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030774738
Quantity: 10 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 : 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
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: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43502544-n
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
Published by
Springer, Berlin, Springer International Publishing, Springer, 2021
ISBN 10: 3030774732
ISBN 13: 9783030774738
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030774738
Quantity: 2 available
Seller Image
Structured Object-Oriented Formal Language and Method
Published by
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030774732
ISBN 13: 9783030774738
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Seller Inventory # 467591590
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