Pekka Pihlajasaari - Böcker
Visar alla böcker från författaren Pekka Pihlajasaari. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 8442 - Lecture Notes in Computer Science
FM 2014: Formal Methods
19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Häftad, Engelska, 2014
1 092 kr
Skickas inom 10-15 vardagar
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 topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Häftad, Engelska, 2011
550 kr
Skickas inom 10-15 vardagar
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 reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.