Please use this identifier to cite or link to this item:
192.168.6.56/handle/123456789/55262| Title: | Tools and Algorithms for the Construction and Analysis of Systems |
| Other Titles: | 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 |
| Authors: | Kowalewski, Stefan Philippou, Anna |
| Keywords: | Construction Law |
| Issue Date: | 2009 |
| Publisher: | Springer-Verlag |
| Description: | This 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. |
| URI: | http://10.6.20.12:80/handle/123456789/55262 |
| ISBN: | 978-3-642-00767-5 3-642-00767-8 |
| Appears in Collections: | Computer Science |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Stefan Kowalewski.pdf | 7.52 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.