Cărți de Nir Piterman

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9434

Editat de Nir Piterman

27 oct 2015

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

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7795

Editat de Nir Piterman et al.

20 feb 2013

Preț: 350^.86 lei 438^.57 lei

6-8 săpt.

-20%