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:
Bibliographische Detailangaben
1. Verfasser: Claesen, Luc J. M.
Körperschaft: Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design Belgium, Houthalen
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Amsterdam : North-Holland Publishing, 1990
Ausgabe:[1st ed.]
Schlagworte:
počítačové navrhovanie > veľmi vysoká integrácia > model formálneho jazyka
ISBN:044488372X
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617195618.0
008 960502s1990 ne e ||||||eng d
020 |a 044488372X 
035 |a CVTIDW0937538 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 621.382.049.771.14  |2 UDC-MRF 
100 1 |a Claesen, Luc J. M. 
111 0 |a Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design  |d (13 - 16 Nov., 1989 :  |c Belgium, Houthalen) 
242 1 0 |a Formálna špecifikácia a syntéza obvodov VLSI. Metódy navrhovania obvodov VLSI. Zv. I 
245 1 0 |a Formal VLSI specification and synthesis. VLSI design methods. Vol. I :  |b 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 /  |c Authors: Luc J. M. Claesen and Co. 
250 |a [1st ed.] 
260 |a Amsterdam :  |b North-Holland Publishing,  |c 1990 
300 |a XV, 414 s. :  |b grafy, lit., obr., tab. ; 
653 1 |a počítačové navrhovanie  |a veľmi vysoká integrácia  |a model formálneho jazyka 
692 |a GM VD JM MM 
910 |b A553123 
919 |a 0-444-88372-X 
974 |f Knihy 
992 |a AZN 
999 |c 105177  |d 105177 

Ähnliche Einträge