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^.28 lei 387^.84 lei

3-5 săpt. | 7-13 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ț: 298^.64 lei 373^.31 lei

6-8 săpt.

-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ț: 338^.35 lei 422^.94 lei

6-8 săpt.

-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ț: 428^.88 lei 536^.10 lei

6-8 săpt.

-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ț: 332^.06 lei 415^.08 lei

6-8 săpt.

-20%