Interactive systems: design,Specfication and verification / Johnson,Chris(ed).

By: Johnson,Chris(ed)Material type: Text

TextLanguage: English Series: Lecture notes in computer science 2220Publication details: Berlin: Springer, 2001. Edition: 8th international woDescription: xii,219p;23cmISBN: 3540428070DDC classification: 004 LEC

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	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	004 LEC (Browse shelf(Opens below))	Not for loan		20376

Total holds: 0

Previous								Next
Previous	004 LEC Protocols for Multimedia systems /	004 LEC Evolutionary robotics /	004 LEC Job scheduiling strategies for parallel processing /	004 LEC Interactive systems: design,Specfication and verification /	004 LEC Cooperative Environments for distributed systems Engineering /	004 LEC Grid computing -GRID 2001 /	004 LEC Connectionist models of Neurons learning process and Artificial intelligence /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.