Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / by Daniel Geist, Enrico Tronci

By:

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 2860Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Description: Online-RessourceISBN:

Subject(s): Genre/Form:

Additional physical formats: 9783540203636 | Buchausg. u.d.T.: Correct hardware design and verification methods. Berlin : Springer, 2003. XII, 426 S.MSC: MSC: *00B25 | 68-06 | 68M07 | 68Q60RVK: RVK: SS 4800DOI: DOI: 10.1007/b93958Online resources:

PPN: PPN: 1649213034Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS

No physical items for this record