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
Other Authors: Hu, Alan J. (Editor), Martin, Andrew K. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Computer-aided Engineering (cad, Cae) And Design
Artificial Intelligence
Formal Languages And Automata Theory
Computers
Computer Hardware
Machine Theory
Computer-aided Engineering
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XII, 448 p online resource
ISBN:9783540304944

Similar Items