Holdings: System-level validation :

System-level validation : high-level modeling and directed test generation techniques

Saved in:

Bibliographic Details
Main Authors:	Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat, 1973- (Author)
Format:	Book
Language:	English
Published:	New York : Springer, [2013]
Subjects:	informační technologie informační systémy informační management information technology information systems information management monografie monographs
ISBN:	9781461413585
Physical Description:	xxi, 247 stran : ilustrace ; 24 cm

Cover

Cover Image

Table of contents

Glossary of Terms

Status	Description	Location	Call Number
Status 30 days - deposit Place a Hold	Description Location	Depository	Call Number	004/CHEN,M.

Status	Description	Location	Call Number
30 days - deposit Place a Hold		Depository	004/CHEN,M.