Hoppa till sidans huvudinnehåll

Herbert Wiklicky - Böcker

Visar alla böcker från författaren Herbert Wiklicky.
3 produkter

Coordination Models and Languages

8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

AvPaolo Ciancarini,Herbert Wiklicky

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

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

AvAlessandro Aldini,Marco Bernardo,Alessandra Di Pierro,Herbert Wiklicky

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

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

AvMarco Bernardo,Erik de Vink,Alessandra Di Pierro,Herbert Wiklicky,Erik De,Erik de Vink

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar