Abstract State Machines. A Method for Hi
β Egon BΒ¨orger, and Robert StΓ€rk
π Library
π
2003
π Springer-Verlag
π English
β¦ LIBER β¦
π
Abstract state machines..A method for high-level system design and analysis
- Publisher
- Springer
- Year
- 2003
- Tongue
- English
- Leaves
- 448
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Abstract state machines: A method for hi
β Egon Boerger, Robert Staerk
π Library
π
2003
π Springer
π English
This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of
Abstract state machines A method for hig
β Egon BΓΆrger, Robert StΓ€rk
π Library
π
2003
π Springer
π English
High level system design and analysis us
β Borgner E.
π Library
π English
High-Level Verification: Methods and Too
β Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta (auth.)
π Library
π
2011
π Springer-Verlag New York
π English
High-Level Verification: Methods and Too
β Lerner, Sorin;Gupta, Rajesh K
π Library
π
2011
π Springer
π English
Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-