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
We couldn't estimate the reading time for this book.
Contributions
- Tygar, Doug - Contributor
- Nierstrasz, Oscar - Contributor
- Vardi, Moshe Y. - Contributor
- Weikum, Gerhard - Contributor
- Kleinberg, Jon M. - Contributor
and 12 more
- Kittler, Josef - Contributor
- Kanade, Takeo - Contributor
- Terzopoulos, Demetri - Contributor
- Sudan, Madhu - Contributor
- Steffen, Bernhard - Contributor
- Kowalewski, Stefan - Contributor
- Naor, Moni - Contributor
- Mattern, Friedemann - Contributor
- Mitchell, John C. - Contributor
- Philippou, Anna - Contributor
- Pandu Rangan, C. - Contributor
- SpringerLink (Online service) - Contributor
Publication
2009 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Open LibraryOL25542796M
- ISBN-139783642007675
- OCLC Control Number316828838
Classifications
- LCCQA75.5-76.95
- LCCQA76.9.S88 T33 2009
Subjects
Series Statement
- Lecture Notes in Computer Science -- 5505
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!