Pierre Girodias – författare
Visar alla böcker från författaren Pierre Girodias. Handla med fri frakt och snabb leverans.
3 produkter
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Eduard Cerny, Bachir Berkane m. fl.
Inbunden, 1998
1126 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Eduard Cerny, Bachir Berkane m. fl.
Häftad, 2012
1095 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Karim Khordoc, Pierre Girodias m. fl.
E-bok, 2012
1416 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
