Formal Methods at the Crossroads. From Panacea to Foundational Support
Editat de Bernhard K. Aichernig et al.
18 noi 2003
Paperback
Preț: 330.15 lei 412.69 lei
6-8 săpt.
-20%
Cărți de Bernhard K. Aichernig
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Editat de Bernhard K. Aichernig et al.
21 iun 2016
Paperback
Preț: 315.93 lei 394.92 lei
6-8 săpt.
-20%