Cărți de Stefan Kowalewski

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6371

Editat de Stefan Kowalewski et al.

9 sep 2010

Preț: 321^.83 lei 402^.28 lei

3-5 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5505

Editat de Stefan Kowalewski et al.

9 mar 2009

Preț: 333^.03 lei 416^.28 lei

6-8 săpt.

-20%