Cover Image
Read Now

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Bibliographic Details
Main Author: Hu, Alan J
Other Authors: Martin, Andrew K
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
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:9783540237389
978-3-540-23738-9

Similar Items