Cambridge tracts in theoretical computer science
| データ種別 | 図書 |
|---|---|
| 出版者 | 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 |
書誌詳細を非表示
| 書誌ID | 2000031684 |
|---|---|
| NCID | BA01121831 |