High-Level verification methods and tools for verification of system-level designs

Bibliographische Detailangaben

Hauptverfasser:	Kundu, Sudipta (VerfasserIn), Lerner, Sorin (VerfasserIn), Gupta, Rajesh K. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	New York, NY [u.a.] Springer 2011
Schlagworte:	Softwareentwicklung Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!