Functional Hardware Description in Lava
Kapitel i bok, 2003

Författare

Koen Lindström Claessen

Chalmers, Institutionen för datavetenskap

Mary Sheeran

Chalmers, Institutionen för datavetenskap, Formella metoder

Satnam Singh

Ämneskategorier

Data- och informationsvetenskap

ISBN

1-4039-0772-2