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

Electronic

von: Ka Lok Man · Tomas Krilavi?ius · Danny Hughes

Taschenbuch

ISBN: 978-3-8383-6383-7

ISBN-10: 3-8383-6383-3

LAP LAMBERT Academic Publishing · 2010