PAFESD: Process Algebras for Electronic System Design: Process Algebraic Specification and Analysis of Electronic System Design - Couverture souple

Man, Ka Lok; Krilavi?ius, Tomas; Hughes, Danny

 
9783838363837: PAFESD: Process Algebras for Electronic System Design: Process Algebraic Specification and Analysis of Electronic System Design

Synopsis

This book provides an overview of how process algebras can be applied to the specification and analysis of electronic system design. It is intended for architects, engineers and researchers from the electronic system design and computer science communities who are interested in the field of formal specification and analysis of electronic system design. It is also suitable for the developers of algorithms for electronic system design and graduate students with a general background in Electronic Engineering and/or Computer Science.

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

Présentation de l'éditeur

This book provides an overview of how process algebras can be applied to the specification and analysis of electronic system design. It is intended for architects, engineers and researchers from the electronic system design and computer science communities who are interested in the field of formal specification and analysis of electronic system design. It is also suitable for the developers of algorithms for electronic system design and graduate students with a general background in Electronic Engineering and/or Computer Science.

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