Książka Structured Object-Oriented Formal Language and Method Huaikou Miao

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2020
strony
364
EAN
9783030414177
Enbook ID
25610006
Waga
575
Wymiary
155 x 235 x 21

Pełny opis

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Możesz być zainteresowany

Illuminated

Matt Bronleewe
51.10
126.26
1 158.24

Klienci, którzy kupili tę książkę, kupili również

77.78