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

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

Preț: 339^.66 lei 424^.58 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

Lecture Notes in Computer Science, nr. 9762

Editat de Bernhard K. Aichernig et al.

21 iun 2016

Preț: 328^.42 lei 410^.53 lei

6-8 săpt.

-20%

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Lecture Notes in Computer Science, nr. 2757

Editat de Bernhard K. Aichernig et al.

18 noi 2003

Preț: 342^.78 lei 428^.48 lei

6-8 săpt.

-20%