Filtre: Engleză Paperback

Cărți de Marco Bernardo

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 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 Computational Systems Biology

Editat de Marco Bernardo et al.

20 mai 2008

Preț: 333^.43 lei 416^.79 lei

6-8 săpt.

-20%

Formal Methods for Performance Evaluation

Editat de Marco Bernardo et al.

18 mai 2007

Preț: 330^.58 lei 413^.22 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^.16 lei 410^.20 lei

6-8 săpt.

-20%

Formal Methods for Executable Software Models

Lecture Notes in Computer Science

Editat de Marco Bernardo et al.

21 mai 2014

Preț: 323^.83 lei 404^.79 lei

6-8 săpt.

-20%

Formal Methods for the Design of Real-Time Systems

Editat de Marco Bernardo et al.

sep 2004

Preț: 321^.60 lei 402^.00 lei

6-8 săpt.

-20%

Formal Methods for Software Architectures

Editat de Marco Bernardo et al.

12 sep 2003

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-20%

A Process Algebraic Approach to Software Architecture Design

Autor Alessandro Aldini et al.

20 oct 2014

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Formal Methods for Mobile Computing

Editat de Marco Bernardo et al.

13 apr 2005

Preț: 320^.37 lei 400^.47 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%

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 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 Multicore Programming

Lecture Notes in Computer Science

Editat de Marco Bernardo et al.

19 mai 2015

Preț: 317^.08 lei 396^.35 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%

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%