Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 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: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Kowalewski, Anna Philippou
Contributors: Tygar, Doug; Nierstrasz, Oscar; Vardi, Moshe Y.; Weikum, Gerhard; Kleinberg, Jon M.; Kittler, Josef; Kanade, Takeo; Terzopoulos, Demetri; Sudan, Madhu; Steffen, Bernhard; Kowalewski, Stefan; Naor, Moni; Mattern, Friedemann; Mitchell, John C.; Philippou, Anna; Pandu Rangan, C.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5505
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642007675; 9783642007682
Subjects: Logic design; Computer science; Software engineering; Computer software