Pekka Pihlajasaari – författare
Visar alla böcker från författaren Pekka Pihlajasaari. Handla med fri frakt och snabb leverans.
4 produkter
FM 2014: Formal Methods
19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Av Cliff Jones, Pekka Pihlajasaari m. fl.
Häftad, 2014
1126 kr
Lägg i varukorg
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 carefully reviewed and selected from 150 submissions. The focus of the papers is on the following …
FM 2014: Formal Methods
19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Av Jun Sun, Pekka Pihlajasaari m. fl.
E-bok, 2014
1502 kr
Lägg i varukorg
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 carefully reviewed and selected from 150 submissions. The focus of the papers is on the following …
Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Av Antonio Cerone, Pekka Pihlajasaari
Häftad, 2011
567 kr
Lägg i varukorg
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 revised full papers presented together with the abstracts of three keynote talks were carefully …
Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Av Pekka Pihlajasaari, Antonio Cerone
E-bok, 2011
755 kr
Lägg i varukorg
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 revised full papers presented together with the abstracts of three keynote talks were carefully …
