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
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Editat de Bernhard K. Aichernig et al.
12 dec 2011
Paperback
Preț: 326.72 lei 408.40 lei
3-5 săpt.
-20%
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%