Cover Image
Read Now

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

Bibliographic Details
Main Author: Geist, Daniel
Other Authors: Tronci, Enrico
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
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-aided Engineering (cad, Cae) And Design
Logics And Meanings Of Programs
Mathematical Logic And Formal Languages
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540203636
978-3-540-20363-6

Similar Items