Cărți de Marco Bernardo

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^.85 lei 417^.31 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^.80 lei 398^.51 lei

3-5 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^.99 lei 393^.74 lei

3-5 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^.80 lei 398^.51 lei

6-8 săpt.

-20%

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Lecture Notes in Computer Science, nr. 9104

Editat de Marco Bernardo et al.

19 mai 2015

Preț: 316^.25 lei 395^.31 lei

6-8 săpt.

-20%

A Process Algebraic Approach to Software Architecture Design

Autor Alessandro Aldini et al.

20 oct 2014

Preț: 321^.17 lei 401^.47 lei

6-8 săpt.

-20%

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Lecture Notes in Computer Science, nr. 8483

Editat de Marco Bernardo et al.

21 mai 2014

Preț: 322^.58 lei 403^.23 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^.62 lei 359^.52 lei

6-8 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^.32 lei 410^.40 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ț: 406^.25 lei 507^.81 lei

6-8 săpt.

-20%

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Lecture Notes in Computer Science, nr. 5016

Editat de Marco Bernardo et al.

20 mai 2008

Preț: 333^.07 lei 416^.34 lei

6-8 săpt.

-20%

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Lecture Notes in Computer Science, nr. 4486

Editat de Marco Bernardo et al.

18 mai 2007

Preț: 330^.21 lei 412^.77 lei

6-8 săpt.

-20%

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ț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Lecture Notes in Computer Science, nr. 3465

Editat de Marco Bernardo et al.

13 apr 2005

Preț: 319^.58 lei 399^.47 lei

6-8 săpt.

-20%

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3185

Editat de Marco Bernardo et al.

sep 2004

Preț: 320^.52 lei 400^.65 lei

6-8 săpt.

-20%

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Lecture Notes in Computer Science, nr. 2804

Editat de Marco Bernardo et al.

12 sep 2003

Preț: 320^.52 lei 400^.65 lei

6-8 săpt.

-20%