Télécharger le livre :  Rigorous State-Based Methods
Ajouter à ma liste d'envies
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9...

Editeur : Springer
Parution : 2020-05-22
Collection : Lecture Notes in Computer Science
PDF, ePub

77,00
Télécharger le livre :  Modeling Companion for Software Practitioners
Ajouter à ma liste d'envies
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models...

Editeur : Springer
Parution : 2018-03-31

PDF

68,56