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

by ,

Write The First Customer Review

ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING), fourtutorials, andseveninvitedlectures ...

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 2009, Springer, Berlin, Germany

ISBN-13: 9783642007675

2009 edition

Trade paperback

Select