Cover Image
Read Now

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
Other Authors: Borrione, Dominique (Editor), Paul, Wolfgang (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005, 2005
Edition:1st ed. 2005
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Artificial Intelligence
Formal Languages And Automata Theory
Computers
Computer Hardware
Machine Theory
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Physical Description:XII, 414 p online resource
ISBN:9783540320302

Similar Items