Pafesd
Process Algebras for Electronic System Design
Published on 23. May 2010
Book
Paperback/Softback
132 pages
978-3-8383-6383-7 (ISBN)
Description
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.
More details
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 220 mm
Width: 150 mm
Thickness: 9 mm
Weight
215 gr
ISBN-13
978-3-8383-6383-7 (9783838363837)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Currently, Ka Lok Man and Danny Hughes are Lecturers (UK System)/Professors (Chinese System) at the Department of Computer Science and Software Engineering, Xi''an Jiaotong-Liverpool University, China - UK. Tomas Krilavi¿ius is a Lecturer at Vytautas Magnus University, Lithuania.