38,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
  • Broschiertes Buch

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.

Produktbeschreibung
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.
Autorenporträt
Authors: Ka Lok Man, Kaiyu Wan, Eng Gee Lim and Zhao Wang are academic staff at Xi'an Jiaotong-Liverpool University, China. Tomas Krilavi¿ius is an associate professor at Vytautas Magnus University and senior researcher at Baltic Institute of Advanced Technologies, Lithuania. Michele Mercaldi is a software team manager at EnvEve, Switzerland.