Cărți de Olga Kouchnarenko

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10231

Editat de Olga Kouchnarenko et al.

13 apr 2017

Preț: 332^.57 lei 415^.71 lei

6-8 săpt.

-20%

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4355

Editat de Jacques Julliand et al.

14 dec 2006

Preț: 333^.22 lei 416^.52 lei

6-8 săpt.

-20%