Cărți de Gwen Salaün

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11176

Editat de Manuel Mazzara et al.

6 dec 2018

Preț: 310^.26 lei 387^.83 lei

22-36 zile | 5-11 zile

-20%

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 292^.65 lei 365^.81 lei

43-57 zile

-20%

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11724

Editat de Peter Csaba Ölveczky et al.

2 sep 2019

Preț: 337^.97 lei 422^.47 lei

38-44 zile

-20%

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8702

Editat de Dimitra Giannakopoulou et al.

4 aug 2014

Preț: 331^.55 lei 414^.44 lei

43-57 zile

-20%

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7684

Editat de Corina S. Pasareanu et al.

9 ian 2013

Preț: 420^.23 lei 525^.29 lei

43-57 zile

-20%

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6959

Editat de Gwen Salaün et al.

19 sep 2011

Preț: 325^.38 lei 406^.73 lei

43-57 zile

-20%