Menu
Află starea comenzii
Contactați-ne
Carte Structured Object-Oriented Formal Language and Method Shaoying Liu

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Autor: Shaoying Liu, Zhenhua Duan, Ai Liu
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature B.V.
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
290.61 lei
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Struct...

Informații despre carte

Autor
Shaoying Liu, Zhenhua Duan, Ai Liu
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2023
Pagini
164
EAN
9783031294778
Enbook ID
43418302
Editura
Springer Nature B.V.
Greutate
264
Dimensiuni
155 x 233 x 11

Descriere completă

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.


  .