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

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
Softcover
ISBN 10: 3838363833 ISBN 13: 9783838363837
Verlag: LAP LAMBERT Academic Publishing, 2010

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LAP LAMBERT Academic Publishing
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
3838363833
ISBN 13 
9783838363837
Einband
Taschenbuch
Anzahl der Seiten
132
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Editions Vie
customerservice@vdm-vsg.de

Brivibas gatve 197
Riga
1039
Lettland