Andreas Gerstlauer
Identifiers
- Open LibraryOL2784854A
Top Subjects
- Programming Languages - General (1)
- Computers - Languages / Programming (1)
- Computers (1)
- Microprocessors (1)
- Technology-Engineering - Chemical & Biochemical (1)
- SpecC (Computer program language) (1)
- Computers / Programming Languages / General (1)
Books by Andreas Gerstlauer
Total count: 5
SpecCSpecification Language and Methodology1 editionSpringer2000-03-01-
System DesignIsland Press2001-01-01
System DesignA Practical Guide with SpecCSpringer US2001-01-01
Embedded System DesignModeling, Synthesis and VerificationSpringer2014-11-26-
Memocode '1513th ACM/IEEE International Conference on Formal Methods and Models for CodesignAssociation for Computing Machinery2015-01-01