Cover Image
Read Now

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

Bibliographic Details
Main Author: Margaria, Tiziana
Other Authors: Melham, Tom
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
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:9783540447986
978-3-540-42541-0

Similar Items