Please use this identifier to cite or link to this item: 192.168.6.56/handle/123456789/55262
Full metadata record
DC FieldValueLanguage
dc.contributor.editorKowalewski, Stefan-
dc.contributor.editorPhilippou, Anna-
dc.date.accessioned2019-03-19T08:00:28Z-
dc.date.available2019-03-19T08:00:28Z-
dc.date.issued2009-
dc.identifier.isbn978-3-642-00767-5-
dc.identifier.isbn3-642-00767-8en_US
dc.identifier.urihttp://10.6.20.12:80/handle/123456789/55262-
dc.descriptionThis volume contains the proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009). TACAS 2009 took place in York, UK, 23–26 March, 2009, as part of the 12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009), whose aims, organization, and history are presented in the foreword of this volume by the ETAPS Steering Committee Chair, Vladimiro Sassone.en_US
dc.language.isoenen_US
dc.publisherSpringer-Verlagen_US
dc.subjectConstruction Lawen_US
dc.titleTools and Algorithms for the Construction and Analysis of Systemsen_US
dc.title.alternative15th 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_US
dc.typeBooken_US
Appears in Collections:Computer Science

Files in This Item:
File Description SizeFormat 
Stefan Kowalewski.pdf7.52 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.