Cărți de Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support

Editat de Bernhard K. Aichernig et al.

18 noi 2003

Preț: 331^.16 lei 413^.95 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%

Tests and Proofs

Lecture Notes in Computer Science, nr. 9762

Editat de Bernhard K. Aichernig et al.

21 iun 2016

Preț: 317^.84 lei 397^.30 lei

6-8 săpt.

-20%