Theoretical aspects of computing 8th international colloquium ; proceedings ICTAC 2011, Johannesburg, South Africa, August 31 - September 2, 2011 - Cerone, Antonio (Springer, 2011)
Keywords: Softwareentwicklung; Formale Methode; Theoretische Informatik; Softwaretest; Programmverifikation; Komplexität; Paperback / softback; Research; automata theory; formal methods; grammar systems; programm semantics; programming calculi; systems modeling; verification; Konferenzschrift -- 2011 -- Johannesburg