Integrated circuits - Congresses. - Verification

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (Language materials, printed)

Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings by: (Language materials, printed)

Software Engineering.

Integrated circuits

Artificial Intelligence (incl. Robotics)

Electronic digital computers

Logic Design.

Computer-Aided Engineering (CAD, CAE) and Design.

Computer Science.

Computer Hardware.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Computer software