Formal VLSI specification and synthesis. VLSI design methods. Vol. I : Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13 - 16 Nov., 1989 /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam :
North-Holland Publishing,
1990
|
| Ausgabe: | [1st ed.] |
| Schlagworte: | |
| ISBN: | 044488372X |
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | XV, 414 s. : grafy, lit., obr., tab. ; |
|---|---|
| ISBN: | 044488372X |