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

Lecture Notes in Computer Science, nr. 9762

Editat de Bernhard K. Aichernig et al.

21 iun 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

Preț: 326^.72 lei 408^.40 lei

3-5 săpt.

-20%

Formal Methods at the Crossroads. From Panacea to Foundational Support

Editat de Bernhard K. Aichernig et al.

18 noi 2003

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%