David C. Luckham | Bookhype

Lecture Notes in Computer Science

Cover of ANNA A Language for Annotating Ada Programs

Book #260: ANNA A Language for Annotating Ada Programs

Cover of Fundamentals of Computation Theory

Book #6914: Fundamentals of Computation Theory

The Springer International Series in Engineering and Computer Science

Cover of Hardware Design and Simulation in VAL/VHDL

Book #112: Hardware Design and Simulation in VAL/VHDL