A Process Algebraic Approach to Software Architecture Design
Autor Alessandro Aldini et al.
20 oct 2014
Paperback
Preț: 321.03 lei 401.30 lei
43-57 zile
-20%
Cărți de Marco Bernardo
Formal Methods for Software Architectures
Editat de Marco Bernardo et al.
12 sep 2003
Paperback
Preț: 321.39 lei 401.73 lei
43-57 zile
-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
Editat de Marco Bernardo et al.
15 mai 2006
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Formal Methods for Computational Systems Biology
Editat de Marco Bernardo et al.
20 mai 2008
Paperback
Preț: 333.43 lei 416.79 lei
43-57 zile
-20%
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Editat de Alessandro Aldini et al.
13 sep 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Formal Methods for Mobile Computing
Editat de Marco Bernardo et al.
13 apr 2005
Paperback
Preț: 320.37 lei 400.47 lei
43-57 zile
-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
Editat de Alessandro Aldini et al.
11 iun 2010
Paperback
Preț: 314.86 lei 393.57 lei
22-36 zile
-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
Editat de Marco Bernardo et al.
12 mai 2009
Paperback
Preț: 405.98 lei 507.48 lei
43-57 zile
-20%
Formal Methods for Performance Evaluation
Editat de Marco Bernardo et al.
18 mai 2007
Paperback
Preț: 330.58 lei 413.22 lei
43-57 zile
-20%
Formal Methods for the Design of Real-Time Systems
Editat de Marco Bernardo et al.
sep 2004
Paperback
Preț: 321.60 lei 402.00 lei
43-57 zile
-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
Editat de Marco Bernardo et al.
3 iun 2011
Paperback
Preț: 333.68 lei 417.09 lei
22-36 zile
-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
Editat de Marco Bernardo et al.
14 iun 2012
Paperback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Formal Methods for Multicore Programming
Editat de Marco Bernardo et al.
19 mai 2015
Paperback
Preț: 317.08 lei 396.35 lei
43-57 zile
-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
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 287.51 lei 359.38 lei
43-57 zile
-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
Editat de Marco Bernardo et al.
12 iun 2016
Paperback
Preț: 318.67 lei 398.33 lei
43-57 zile
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 323.83 lei 404.79 lei
43-57 zile
-20%