Structured Object-Oriented Formal Language and Method (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Serie
Lecture Notes in Computer Science (del 13854)
Antal sidor
151
Utgivningsdatum
2023-03-25
Förlag
Springer International Publishing AG
Dimensioner
234 x 156 x 9 mm
Vikt
241 g
ISBN
9783031294754

Structured Object-Oriented Formal Language and Method

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

av Shaoying Liu, Zhenhua Duan, Ai Liu
Häftad,  Engelska, 2023-03-25
614
Köp
Spara som favorit
  • Skickas från oss inom 10-15 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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. .
Visa hela texten

Passar bra ihop

  1. Structured Object-Oriented Formal Language and Method
  2. +
  3. Agile-Sofl: Agile Formal Engineering Method

De som köpt den här boken har ofta också köpt Agile-Sofl: Agile Formal Engineering Method av Shaoying Liu (häftad).

Köp båda 2 för 1949 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Shaoying Liu, Zhenhua Duan, Ai Liu

Du kanske gillar