BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Structured Object-Oriented Formal Language and Method: 11th International
Stock photo: cover may vary

Structured Object-Oriented Formal Language and Method: 11th International Workshop, Sofl+msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected Paperback - 2023

by Shaoying Liu (Editor); Zhenhua Duan (Editor); Ai Liu (Editor)

Add to wish list

Reader reviews for Structured Object-Oriented Formal Language and Method: 11th International Workshop, Sofl+msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected

From the publisher

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.
The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification.


.

Details

  • Title Structured Object-Oriented Formal Language and Method: 11th International Workshop, Sofl+msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected
  • Author Shaoying Liu (Editor); Zhenhua Duan (Editor); Ai Liu (Editor)
  • Binding Paperback
  • Pages 151
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2023-03-25
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783031294754 / 3031294750
  • Weight 0.53 lbs (0.24 kg)
  • Dimensions 9.21 x 6.14 x 0.35 in (23.39 x 15.60 x 0.89 cm)
  • Category Computers - Languages / Programming

More Copies for Sale

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL...

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031294754 / 3031294750
Quantity available
803
Seller
Item price
A$103.07
A$15.26 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in
Add to wish list
Item price
A$103.07
A$15.26 Delivery to USA
Structured Object-oriented Formal Language and Method: 11th International Workshop, Sofl+msvl...
Stock photo: cover may vary

Structured Object-oriented Formal Language and Method: 11th International Workshop, Sofl+msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

by Liu, Shaoying (Editor)/ Duan, Zhenhua (Editor)/ Liu, Ai (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031294754 / 3031294750
Quantity available
2
Seller
Item price
A$133.34
A$47.74 Delivery to USA

Show details

Description:
Springer-Nature New York Inc, 2023. Paperback. New. 163 pages. 9.25x6.10x0.35 inches.
Add to wish list
Item price
A$133.34
A$47.74 Delivery to USA
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL...
Stock photo: cover may vary

Show details

Description:
. Other. New.
Add to wish list
Item price
A$140.07
A$5.66 Delivery to USA