Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Borrione, Dominique
Corporate Author: SpringerLink (Online service)
Other Authors: Paul, Wolfgang
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer aided design
Computer hardware
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Computer Hardware
Computer-Aided Engineering (CAD, CAE) and Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online Access:http://dx.doi.org/10.1007/11560548
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/11560548
Перейти в каталог НБ ТГУ

Similar Items