Your search returned 2 results.

Results
		No cover image available Interactive systems: design,Specfication and verification / Palanque,Philippe (ed.). by Palanque,Philippe (ed.). Series: Lecture notes in computer science 1946Edition: &th international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 LEC.
		Interactive systems: design,Specfication and verification / Palanque,Philippe (ed.). by Palanque,Philippe (ed.). Series: Lecture notes in computer science 1946Edition: 7th international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 LEC.

Refine your search