Formal Methods at the Crossroads. From Panacea to Foundational Support
Editat de Bernhard K. Aichernig et al.
18 noi 2003
Paperback
Preț: 344.40 lei 430.50 lei
43-57 zile
-20%
Cărți de Bernhard K. Aichernig
Tests and Proofs
Editat de Bernhard K. Aichernig et al.
21 iun 2016
Paperback
Preț: 330.54 lei 413.18 lei
43-57 zile
-20%