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

Ka Lok Man (u. a.)

ISBN 10: 3838363833 / ISBN 13: 9783838363837

Published by LAP LAMBERT Academic Publishing, 2010

About this Item

PAFESD: Process Algebras for Electronic System Design | Process Algebraic Specification and Analysis of Electronic System Design | Ka Lok Man (u. a.) | Taschenbuch | 132 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783838363837 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 101097456

Bibliographic Details

• Title: PAFESD: Process Algebras for Electronic System Design | Process Algebraic Specification and Analysis of Electronic System Design
• Publisher: LAP LAMBERT Academic Publishing
• Publication Date: 2010
• Language: English
• ISBN 10: 3838363833
• ISBN 13: 9783838363837
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 9D millimeters 220 millimeters width by 150 millimeters height by 9 millimeters depth
• Weight: 215 grams
• Seller catalogs:
  • Bücher

About this title

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.