Normal view
MARC view
Tools and Algorithms for the Construction and Analysis of Systems Электронный ресурс 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540788003Subject(s): Computer Communication Networks | Computer software | Logic design | Software engineering | Computer Science | Algorithm Analysis and Problem Complexity | Computer Communication Networks | Logics and Meanings of Programs | Software EngineeringOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.