Cărți de Wolfram Schulte

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6664

Editat de Michael Butler et al.

16 iun 2011

Preț: 337^.05 lei 421^.31 lei

3-5 săpt.

-20%

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 328^.61 lei 410^.76 lei

6-8 săpt.

-20%

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8767

Editat de Juergen Dingel et al.

22 sep 2014

Preț: 347^.27 lei 434^.08 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3308

Editat de Jim Davies et al.

28 oct 2004

Preț: 645^.46 lei 806^.82 lei

6-8 săpt.

-20%

Model-Based Software Testing and Analysis with C#

Autor Jonathan Jacky et al.

11 noi 2007

Preț: 209^.39 lei 310^.59 lei

Indisponibil temporar

-33%