Theoretical computer science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, proceedings / Jose C. M. Baeten, Tom Ball, Frank S. de Boer (eds.).

Portion of title TCS 2012.
SeriesLecture notes in computer science ; 7604.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues. ^A1368241
General noteInternational conference proceedings.
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Source of descriptionDescription based on print version record.
Genre/formElectronic books.
LCCN 2012946731
ISBN9783642334740
ISBN3642334741