Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /

Saved in:
Corporate Author: CHARME 2005 Saarbrücken, Germany)
Other Authors: Borrione, Dominique.
Paul, Wolfgang J., 1951-
Format: Book
Language:English
Published:Berlin ; New York : Springer, c2005.
Series:Lecture notes in computer science, 3725
Subjects:
Online Access:SpringerLink 
Related Information: Publisher description 
Tags: Add Tag
No Tags, Be the first to tag this record!

University of Illinois at Springfield

Location: Online

Call Number: TK7874.75 .C453 2005eb
Copy 1
Online Access:SpringerLink