Preview: Hardware and software, verification and testing

Other Authors:	Yorav, Karen
Language:	English
Published:	Berlin: Springer, 2008.
Series:	Lecture notes in computer science; 4899
Subjects:	Software architecture -- > Congresses Computer input-output equipment -- > Congresses Computer programs -- > Verification -- > Congresses