Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. 

The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

Informacija

Leidėjas: Springer Nature Switzerland
Išleidimo metai: 2016
Knygos puslapių skaičius: 228
ISBN-10: 3319312197
ISBN-13: 9783319312194
Formatas: 235 x 155 x 13 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers“

Būtina įvertinti prekę

Goodreads reviews for „Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers“