Show simple item record

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings

dc.contributor.authorTACAS (Conference) (15th : 2009 : York, England) [Main,author]en
dc.contributor.authorKowaleski, Stefanen
dc.contributor.authorPhilippou, Annaen
dc.contributor.authorETAPS (Conference) (12th : 2009 : York, ,England)en
dc.creatorTACAS (Conference) (15th : 2009 : York, England) [Main,author]en
dc.creatorKowaleski, Stefanen
dc.creatorPhilippou, Annaen
dc.creatorETAPS (Conference) (12th : 2009 : York, ,England)en
dc.date.accessioned2019-11-13T10:42:26Z
dc.date.available2019-11-13T10:42:26Z
dc.date.issued2009
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/55047
dc.source.urihttp://www.springer.com/gb/
dc.subjectAlgorithmsen
dc.subjectConstructionen
dc.subjectToolsen
dc.subjectComputer software -- Development -- Congressesen
dc.subjectSystem design -- Congressesen
dc.subjectSystemsen
dc.subjectTACASen
dc.titleTools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedingsen
dc.typeinfo:eu-repo/semantics/article
dc.description.startingpagexvi,
dc.description.endingpage456
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>ID: 823en
dc.description.notesIncludes bibliographical references and author index.</p>en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record