Cărți de Bernhard K. Aichernig

Tests and Proofs

Lecture Notes in Computer Science, nr. 9762

Editat de Bernhard K. Aichernig et al.

21 iun 2016

Preț: 330^.54 lei 413^.18 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ț: 344^.40 lei 430^.50 lei

6-8 săpt.

-20%