Filtre: Engleză Paperback

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ț: 320^.55 lei 400^.68 lei

43-57 zile

-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ț: 337^.48 lei 421^.86 lei

43-57 zile

-20%