2 Ebooks bởi Olga Kouchnarenko
Ramtin Khosravi & Olga Kouchnarenko: Formal Aspects of Component Software
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besancon, France, in October 2016. The …
EPUB
Anh
DRM
€57.90
Jacques Julliand & Olga Kouchnarenko: B 2007: Formal Specification and Development in B
Theseproceedingsrecordthepaperspresentedatthe Seventh International C- ference of B Users (B 2007), held in the city of Besan con in the east of France. This conference was built on the success of th …
PDF
Anh
DRM
€57.90
