Filtre:

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%

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%