Cărți de Wolfram Schulte

Formal Methods and Software Engineering

Editat de Jim Davies et al.

28 oct 2004

Preț: 633^.17 lei 791^.45 lei

6-8 săpt.

-20%

Model-Based Software Testing and Analysis with C#

Autor Jonathan Jacky et al.

11 noi 2007

Preț: 288^.48 lei 360^.59 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ț: 339^.73 lei 424^.65 lei

6-8 săpt.

-20%

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ț: 329^.74 lei 412^.17 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ț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%