Normal view MARC view ISBD view

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg.

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 N47 2006 (Browse shelf(Opens below))	Link to resource	1	Available	Springerlink		BDIG00012139

Previous								Next
Previous	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	QA76.9.S88 N47 2006 Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /	QA76.9.S88 P38 2005 SystemC Kernel Extensions for Heterogeneous System Modeling	QA76.9.S88 P38 2008 Ingredients for Successful System Level Design Methodology	QA76.9.S88 R36 2008 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, March 29-April 6, 2008. Proceedings /	Next

There are no comments on this title.

to post a comment.