Cărți de Jacques Julliand

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7305

Editat de Achim Brucker et al.

16 mai 2012

Preț: 412^.49 lei 515^.61 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%