Description: Dependable software systems engineering /

Other Authors:	Peled, Doron,
Format:	Book
Language:	English
Series:	NATO Science for Peace and Security Series - D: Information and Communication Security, Volume 40
Subjects:	Computer software > Verification Computer systems > Verification
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=11079843

Physical Description:	1 online resource (320 pages) : illustrations, tables.
Bibliography:	Includes bibliographical references at the end of each chapters and index.
ISBN:	9781614994954(ebook)
ISSN:	1879-8292 ;