Cărți de Radu Calinescu

Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6662

Editat de Radu Calinescu et al.

23 mai 2011

Preț: 332^.06 lei 415^.08 lei

3-5 săpt.

-20%

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13085

Editat de Radu Calinescu et al.

3 dec 2021

Preț: 543^.64 lei 679^.55 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11732

Editat de Radu Calinescu et al.

5 sep 2019

Preț: 326^.13 lei 407^.66 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9509

Editat de Domenico Bianculli et al.

3 feb 2016

Preț: 335^.36 lei 419^.20 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9276

Editat de Radu Calinescu et al.

21 aug 2015

Preț: 336^.67 lei 420^.84 lei

6-8 săpt.

-20%

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7539

Editat de Radu Calinescu et al.

14 sep 2012

Preț: 338^.68 lei 423^.35 lei

6-8 săpt.

-20%