Publisher: Springer; 2010 edition (September 10, 2010)
Format: PDF / Kindle / ePub
Size: 7.5 MB
Downloadable formats: PDF
This quantity is devoted to the reminiscence of the 1996 Turing Award winner Amir Pnueli. It includes articles written via best scientists that span the breadth of Pnueli’s clinical paintings, with a spotlight at the improvement and the appliance of formal equipment.
Download Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings ... Computer Science and General Issues) ending