Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 / edited by Stefan Kowalewski, Anna Philippou.
By: Kowalewski, Stefan.
Contributor(s): Philippou, Anna | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5505.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642007682.Subject(s): Computer science | Software engineering | Computer software | Logic design | Computer Science | Algorithm Analysis and Problem Complexity | Software Engineering | Software Engineering/Programming and Operating Systems | Logics and Meanings of Programs | Programming TechniquesDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.