A Process Algebraic Approach to Software Architecture Design
Autor Alessandro Aldini et al.
27 noi 2009
Hardback
Preț: 341.19 lei 426.50 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ț: 335.24 lei 419.05 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ț: 347.83 lei 434.79 lei
6-8 săpt.
-20%
Formal Methods for Mobile Computing
Editat de Marco Bernardo et al.
13 apr 2005
Paperback
Preț: 334.19 lei 417.74 lei
6-8 săpt.
-20%
Formal Methods for Performance Evaluation
Editat de Marco Bernardo et al.
18 mai 2007
Paperback
Preț: 344.83 lei 431.04 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 the Design of Real-Time Systems
Editat de Marco Bernardo et al.
sep 2004
Paperback
Preț: 335.46 lei 419.34 lei
6-8 săpt.
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 337.80 lei 422.24 lei
6-8 săpt.
-20%
Formal Methods for Multicore Programming
Editat de Marco Bernardo et al.
19 mai 2015
Paperback
Preț: 330.76 lei 413.45 lei
6-8 săpt.
-20%
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Editat de Marco Bernardo et al.
12 iun 2016
Paperback
Preț: 333.53 lei 416.92 lei
6-8 săpt.
-20%
Formal Methods for Model-Driven Engineering
Editat de Marco Bernardo et al.
14 iun 2012
Paperback
Preț: 342.90 lei 428.63 lei
6-8 săpt.
-20%
Formal Methods for Dynamical Systems
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 300.71 lei 375.89 lei
6-8 săpt.
-20%