Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

By:

Material type: Text

TextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:

Subject(s):

Online resources:

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	Status	Date due	Barcode
e-Book	ICCBS Digital Library		Not for loan

WELCOME TO THE ICCBS LIBRARIES CATALOG