Designing Correct Circuits: Proceedings of the 3rd Workshop on Designing Correct Circuits (Dcc96), Bastad, Sweden, 2-4 September 1996 - Couverture souple

 
9783540761020: Designing Correct Circuits: Proceedings of the 3rd Workshop on Designing Correct Circuits (Dcc96), Bastad, Sweden, 2-4 September 1996

Synopsis

This booklet provides the passwords needed to access the Web site which contains the full papers of the 3rd Workshop on Designing Correct Circuits.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.