2 Ebooks por 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
Inglês
DRM
€115.29
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
Inglês
DRM
€57.59
