Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
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

By: Ramakrishnan, C. RContributor(s): Rehof, Jakob | SpringerLink (Online service)Material type: Computer fileComputer 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 eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.