データ種別 | 図書 |
---|---|
出版者 | Cambridge [Cambridgeshire] ; New York, N.Y., U.S.A. : Cambridge University Press |
本文言語 | 英語 |
1 | 10 Theoretical foundations of VLSI design / edited by K. McEvoy and J.V. Tucker : hard. - Cambridge ; New York : Cambridge University Press , 1990 |
2 | 15 Design theory and computer science : processes and methodology of computer systems design / Subrata Dasgupta Cambridge ; New York : Cambridge University Press , 1991 |
3 | 35 Formal specification and design / L. M. G. Feijs & H. B. M. Jonkers Cambridge ; New York : Cambridge University Press , 1992 |
4 | 37 Formal methods in circuit design / V. Stavridou Cambridge : Cambridge University Press , 1993 |
5 | 44 Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman : hbk. - Cambridge ; New York : Cambridge University Press , 1997 |