-
RecordNumber
18733
-
Title
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 :
