PAFESD: Process Algebras for Electronic System Design
Год выпуска: 2010 Автор: Ka Lok Man,Tomas Krilavicius and Danny Hughes Издательство: LAP Lambert Academic Publishing Страниц: 132 ISBN: 9783838363837 Описание 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.
Похожие книги
Rajagopal. Systems Thinking and Process Dynamics for Marketing Systems: Technologies and Applications for Decision Management. – М.: , 2012. – 301 с. Ricardo Sal Zebulum, Marco Aurelio Pacheco, Marley Maria B.R. Vellasco, Marley Maria Bernard Vellasco. Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. – М.: , 0. – 0 с. Dimitrios Soudris, Christian Piguet, Costas Goutis. Designing Cmos Circuits for Low Power (European Low-Power Initiative for Electronic System Design (Series).). – М.: , 0. – 0 с. Nandish V. Patel. Organization and Systems Design: Theory of Deferred Action. – М.: , 2006. – 288 с. Bruce Powel Douglass. Design Patterns for Embedded Systems in C. – М.: , 2010. – 416 с. Nasser Kehtarnavaz. Digital Signal Processing System Design. – М.: , 2010. – 344 с. D. Dowson. Tribological Research and Design for Engineering Systems. – М.: , 2010. – 940 с. Gary E. Musgrave Ph.D. Safety Design for Space Systems. – М.: , 2010. – 992 с. Roel Wieringa, R. J. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. – М.: Morgan Kaufmann, . – с. Grant Martin, Brian Bailey, Andrew Piziali. ESL Design and Verification: A Prescription for Electronic System Level Methodology. – М.: , 2007. – 488 с. Ergun Bagc?. RFID Systems Design for Potential Applications. – М.: LAP Lambert Academic Publishing, 2011. – 124 с. Revna Acar Vural. Particle swarm optimization for electronic circuit design automation. – М.: LAP Lambert Academic Publishing, 2012. – 196 с. Samir El-Nakla. Intelligent Electronic Design for Mechatronic Systems. – М.: LAP Lambert Academic Publishing, 2012. – 284 с. R. Sivakumar and K. Balu. Design and Development of Fuzzy Controllers for MIMO Systems. – М.: LAP Lambert Academic Publishing, 2013. – 140 с. T. Bezboruah,K. C. Sarma and A. Goswami. Embedded system design based on 8051 and PIC family microcontroller. – М.: LAP Lambert Academic Publishing, 2011. – 100 с. Ka Lok Man,Tomas Krilavicius and Danny Hughes. PAFESD: Process Algebras for Electronic System Design. – М.: LAP Lambert Academic Publishing, 2010. – 132 с. Yasar Mehmood,Awais Majeed and Athar Mohsin Zaidi. Incorporating Business Process Change in Information System Design. – М.: LAP Lambert Academic Publishing, 2013. – 116 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Андрей, 02.06 Большое спасибо за диплом, препод написал рецензию, сказал, что хороший слоган. Исправлять ничего не надо.