WorldCat Identities

Eleftherakis, George

Overview
Works: 7 works in 31 publications in 2 languages and 806 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.887, 621.391
Publication Timeline
Key
Publications about  George Eleftherakis Publications about George Eleftherakis
Publications by  George Eleftherakis Publications by George Eleftherakis
Most widely held works by George Eleftherakis
Membrane computing 8th international workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 ; revised, selected and invited papers by George Eleftherakis ( )
15 editions published between 2007 and 2008 in English and and held by 475 WorldCat member libraries worldwide
Annotation
Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by George Eleftherakis ( )
7 editions published in 2012 in English and held by 318 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods
17th PCI 2013 : proceedings : Panhellenic Conference in Informatics, Thessaloniki by Panhellenic Conference on Informatics ( )
1 edition published in 2013 in English and held by 5 WorldCat member libraries worldwide
Formal verification of x-machine models : towards formal development of computer-based systems by George Eleftherakis ( Book )
3 editions published between 2003 and 2004 in English and held by 3 WorldCat member libraries worldwide
Membrane computing : 8th international workshop : revised selected and invited papers ( Book )
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
Software engineering and formal methods 10th international conference ; proceedings ( Book )
2 editions published in 2012 in English and held by 2 WorldCat member libraries worldwide
17th PCI 2013 Panhellenic Conference in Informatics : Thessaloniki : proceedings by Panhellenic Conference on Informatics ( Book )
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.00 for Membrane c ... to 0.95 for 17th PCI 2 ...)
Languages
Covers