Olga Kouchnarenko – författare
Visar alla böcker från författaren Olga Kouchnarenko. Handla med fri frakt och snabb leverans.
4 produkter
Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Av Olga Kouchnarenko, Ramtin Khosravi
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016. The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed …
Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Av Ramtin Khosravi, Olga Kouchnarenko
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016. The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed …
B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Av Jacques Julliand, Olga Kouchnarenko
Häftad, 2006
568 kr
Lägg i varukorg
TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- 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 the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, …
B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Av Olga Kouchnarenko, Jacques Julliand
E-bok, 2006
755 kr
Lägg i varukorg
TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- 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 the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, …
