Downloads & Free Reading Options - Results

“Correct Hardware Design And Verification Methods [electronic Resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings” Metadata:

• Title: ➤  Correct Hardware Design And Verification Methods [electronic Resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings
• Authors: ➤  CHARME 2003 (2003 : L'Aquila, Italy)Geist, Daniel, 1961-Tronci, Enrico, 1961-SpringerLink (Online service)
• Language: English

Edition Identifiers:

• Internet Archive ID: springer_10.1007-b93958

“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” Metadata:

• Title: ➤  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
• Author: ➤  CHARME 2003 (2003 : L'Aquila, Italy)
• Language: English

“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” Subjects and Themes:

• Subjects: ➤  Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses - Integrated circuits -- Verification -- Congresses

Edition Identifiers:

• Internet Archive ID: isbn_9783540203636

“Correct Hardware Design And Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : Proceedings” Metadata:

• Title: ➤  Correct Hardware Design And Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : Proceedings
• Author: ➤  CHARME'99 (1999 : Bad Herrenalb, Germany)
• Language: English

“Correct Hardware Design And Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : Proceedings” Subjects and Themes:

• Subjects: ➤  Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses - Integrated circuits -- Verification -- Congresses

Edition Identifiers:

• Internet Archive ID: correcthardwared0000char_k8v5

“Correct Hardware Design And Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : Proceedings” Metadata:

• Title: ➤  Correct Hardware Design And Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : Proceedings
• Authors: ➤  CHARME 2001 (2001 : Livingston, Scotland)Margaria-Steffen, Tiziana, 1964-Melham, T. F. (Tom F.)
• Language: English

Edition Identifiers:

• Internet Archive ID: springer_10.1007-3-540-44798-9

“Advances In Hardware Design And Verification: IFIP TC10 WG10.5 International Conference On Correct Hardware And Verification Methods, 16-18 October 1997, Montreal, Canada” Metadata:

• Title: ➤  Advances In Hardware Design And Verification: IFIP TC10 WG10.5 International Conference On Correct Hardware And Verification Methods, 16-18 October 1997, Montreal, Canada
• Author: ➤  IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods. (9th 1997 Montréal, Canada).
• Language: English

Edition Identifiers:

• Internet Archive ID: advancesinhardwa0000ifip

“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” Metadata:

• Title: ➤  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
• Author: ➤  CHARME 2005 (2005 : Saarbrücken, Germany)
• Language: English

“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” Subjects and Themes:

• Subjects: ➤  Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses - Integrated circuits -- Verification -- Congresses - Circuits integres a tres grande echelle -- Conception assistee par ordinateur -- Congres - Circuits integres -- Verification -- Congres - TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI - TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic - COMPUTERS -- Logic Design - Informatique - Integrated circuits -- Verification - Integrated circuits -- Very large scale integration -- Computer-aided design - Circuit integre a tres grande echelle - Conception assistee par ordinateur - Circuit integre - Verification formelle - Essai technique - Model-checking (Informatique)

Edition Identifiers:

• Internet Archive ID: correcthardwared0000char