Formal Methods at the Crossroads. From Panacea to Foundational Support
Editat de Bernhard K. Aichernig et al.
18 noi 2003
Paperback
Preț: 331.16 lei 413.95 lei
43-57 zile
-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
43-57 zile
-20%