Coordination Models and Languages
Editat de Paolo Ciancarini et al.
9 iun 2006
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Cărți de Herbert Wiklicky
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
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
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 287.51 lei 359.38 lei
6-8 săpt.
-20%