Научная библиотека ТГУ catalog › Details for: Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.

Search

Normal view MARC view

Tools and Algorithms for the Construction and Analysis of Systems Электронный ресурс 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.

By: Grumberg, Orna Contributor(s): Huth, Michael | SpringerLink (Online service)Material type:

Computer file

Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540712091Subject(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 e-books

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Ebsco Discovery Google Scholar

Share