Semantics of digital circuits (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Semantics of digital circuitshttps://catalogue-scientifique.canada.ca/record=1387364~S6*frcRechercher Delgado Kloos, CarlosSpringer-Verlag, 1987, ISBN : 3540185402Livre
Formal semantics for VHDL (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal semantics for VHDLhttps://catalogue-scientifique.canada.ca/record=1600537~S6*frcRechercher Delgado Kloos, Carlos; Rechercher Breuer, Peter TKluwer Academic Publishers, 1995, ISBN : 0792395522Livre
Practical formal methods for hardware design (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Practical formal methods for hardware designhttps://catalogue-scientifique.canada.ca/record=1809262~S6*frcRechercher Delgado Kloos, Carlos; Rechercher Damm, WernerSpringer, 1997, ISBN : 3540620079Livre
EDUTECH : computer-aided design meets computer-aided learning : IFIP 18th World Computer Congress : TC10/WG10.5 EduTech Workshop : 22-27 August 2004, Toulouse, France (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : EDUTECH : computer-aided design meets computer-aided learning : IFIP 18th World Computer Congress : TC10/WG10.5 EduTech Workshop : 22-27 August 2004, Toulouse, Francehttps://catalogue-scientifique.canada.ca/record=2042962~S6*frcRechercher Delgado Kloos, Carlos; Rechercher Pardo, AbelardoKluwer Academic Publishers, 2004Actes de conférence
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spainhttps://catalogue-scientifique.canada.ca/record=1783415~S6*frcRechercher Delgado Kloos, Carlos; Rechercher Cerny, EduardPublished by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997Actes de conférence
2002 Design, Automation, and Test in Europe Conference and Exhibition : proceedings : March 4-8, 2002, Paris, France (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : 2002 Design, Automation, and Test in Europe Conference and Exhibition : proceedings : March 4-8, 2002, Paris, Francehttps://catalogue-scientifique.canada.ca/record=1970634~S6*frcRechercher Delgado Kloos, Carlos; Rechercher Franca, José Epifânio daIEEE Computer Society, 2002Actes de conférence