2 Ebooki wg Pekka Pihlajasaari
Cliff Jones & Pekka Pihlajasaari: FM 2014: Formal Methods
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were …
PDF
Angielski
DRM
€114.31
Antonio Cerone & Pekka Pihlajasaari: Theoretical Aspects of Computing — ICTAC 2011
This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 …
PDF
Angielski
DRM
€57.78
