Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.

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