Normal view MARC view ISBD view

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth.

By:

Contributor(s):

Material type:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.9.S88 G78 2007 (Browse shelf(Opens below))	Link to resource	1	Available	Springerlink		BDIG00012140

Previous								Next
Previous	QA76.9.S63 Y36 2007 Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings /	QA76.9.S88 E45 2007 Advances and Innovations in Systems, Computing Sciences and Software Engineering	QA76.9.S88 E45 2008 Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering	QA76.9.S88 G78 2007 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, March 24 - April 1, 2007. Proceedings /	QA76.9.S88 H35 2005 Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /	QA76.9.S88 K76 2007 Conceptual Modelling in Information Systems Engineering	QA76.9.S88 N43 2007 Co-design for System Acceleration	Next

There are no comments on this title.

to post a comment.