Hardware specification, Verification and synthesis mathematical aspects

Author Statement

M. Leeser , G. brown (eds)

Publication

Springer

Publication Year

[c1990]

Collation

402p

Series

Lecture notes in computer science; 408

Notes

Proceedings of a workshop New York, 1989

Subject

Computer input- out put equipment

ADDED ENTRIES

Leeser, M. ed , Brown, G. ed. , ^dSeries:Lecture notes in computer science, 408

Main Class

004

Cutter no

H267

وارد كنندة اطلاعات

1115 Ahmadi^d//

Link To Document