Hakutulokset: corrections
yhteensä 26 hakutulosta
Correct Hardware Design and Verification Methods
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the strictly refereed proceedings of the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-12, held in …
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO …
Correct Hardware Design and Verification Methods
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in …
Correct Hardware Design and Verification Methods
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This volume is the proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC 10),held in Puerto Rico, May …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The AAECC conferences focus on the algebraic aspects of modern computer science, which includes the most up-to-date and advanced topics. The topic of error-correcting codes is …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The AAECC conferences focus on the algebraic aspects of modern computer science, which include the most up-to-date and advanced topics. The topic of error-correcting codes is one …
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range …