Correct Hardware Design and Verification Methods
Borrione, Dominique.
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 / [electronic resource] : edited by Dominique Borrione, Wolfgang Paul. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3725 0302-9743 ; .
9783540320302
Computer science
Computer hardware
Software engineering
Logic design
Artificial intelligence
Computer aided design
Computer Science
Logics and Meanings of Programs
Computer Hardware
Software Engineering
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Computer-Aided Engineering (CAD, CAE) and Design
TK7874.75 / B67 2005
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 / [electronic resource] : edited by Dominique Borrione, Wolfgang Paul. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3725 0302-9743 ; .
9783540320302
Computer science
Computer hardware
Software engineering
Logic design
Artificial intelligence
Computer aided design
Computer Science
Logics and Meanings of Programs
Computer Hardware
Software Engineering
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Computer-Aided Engineering (CAD, CAE) and Design
TK7874.75 / B67 2005