02760nam0 22003973i 450 AQ1000300220250117062424.0038756778XNew York354056778XBerlin20090907d1993 ||||0itac50 baengdez01i xxxe z01nCorrect hardware design and verification methodsIFIP WG 10.2 Advanced Research Working Conference CHARME '93Arles, France, May 24-26, 1993proceedingsGeorge J. Milne, Laurence Pierre (eds.)Berlin [etc.]Springerc1993VI, 269 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis683Nella pref.: the Advanced research working conference on Correct HARdware design MEthodologies (CHARME'93).001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis683702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciFIRNAPC005108I621.39INGEGNERIA DEGLI ELABORATORI14621.392INGEGNERIA DEGLI ELABORATORI. ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DEGLI ELABORATORI22Milne, George J.AQ1V001570Pierre, LaurenceAQ1V001572Advanced research working conference on correct hardware design methodologies <1993 ; Arles>AQ1V001573070714562International federation for information processing : Working group 10.2 AQ1V001574CHARME <1993 ; Arles>AQ1V001575Advanced research working conference on correct hardware design methodologies <1993 ; Arles> IFIP : WG 10.2MILV132024International federation for information processing : Working group 10.2 ITIT-NA007920090907IT-BN0095 AQ10003002Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000012165 B (0683 v. 6833 1994070619940706 01Correct hardware design and verification methods1381888UNISANNIO