Filtre: Engleză Marco Bernardo

Programming and Software Engineering

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Lecture Notes in Computer Science, nr. 3965

Editat de Marco Bernardo et al.

15 mai 2006

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Lecture Notes in Computer Science, nr. 5569

Editat de Marco Bernardo et al.

12 mai 2009

Preț: 405^.98 lei 507^.48 lei

6-8 săpt.

-20%

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Lecture Notes in Computer Science, nr. 6154

Editat de Alessandro Aldini et al.

11 iun 2010

Preț: 314^.86 lei 393^.57 lei

3-5 săpt.

-20%

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6342

Editat de Alessandro Aldini et al.

13 sep 2010

Preț: 318^.67 lei 398^.33 lei

3-5 săpt.

-20%

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Lecture Notes in Computer Science, nr. 6659

Editat de Marco Bernardo et al.

3 iun 2011

Preț: 333^.68 lei 417^.09 lei

3-5 săpt.

-20%

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 7320

Editat de Marco Bernardo et al.

14 iun 2012

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Lecture Notes in Computer Science, nr. 7938

Editat de Marco Bernardo et al.

7 iun 2013

Preț: 287^.51 lei 359^.38 lei

6-8 săpt.

-20%

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Lecture Notes in Computer Science, nr. 9700

Editat de Marco Bernardo et al.

12 iun 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%