A Process Algebraic Approach to Software Architecture Design
Autor Alessandro Aldini et al.
27 noi 2009
Hardback
Preț: 327.08 lei 408.86 lei
6-8 săpt.
-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
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
Editat de Marco Bernardo et al.
15 mai 2006
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Formal Methods for Computational Systems Biology
Editat de Marco Bernardo et al.
20 mai 2008
Paperback
Preț: 333.43 lei 416.79 lei
6-8 săpt.
-20%
Formal Methods for Mobile Computing
Editat de Marco Bernardo et al.
13 apr 2005
Paperback
Preț: 320.37 lei 400.47 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
Editat de Marco Bernardo et al.
12 mai 2009
Paperback
Preț: 405.98 lei 507.48 lei
6-8 săpt.
-20%
Formal Methods for Performance Evaluation
Editat de Marco Bernardo et al.
18 mai 2007
Paperback
Preț: 330.58 lei 413.22 lei
6-8 săpt.
-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
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
Editat de Marco Bernardo et al.
14 iun 2012
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
Formal Methods for Multicore Programming
Editat de Marco Bernardo et al.
19 mai 2015
Paperback
Preț: 317.08 lei 396.35 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
Editat de Marco Bernardo et al.
12 iun 2016
Paperback
Preț: 318.67 lei 398.33 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
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 287.51 lei 359.38 lei
6-8 săpt.
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 323.83 lei 404.79 lei
6-8 săpt.
-20%