Advances in formal design methods for CAD proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
| Ձևաչափ: | Գիրք |
|---|---|
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
London
Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
c1996.
|
| Խորագրեր: |