This book explores the application of finite state models in computer science and engineering. It covers formal verification, protocol design, and system modeling, providing developers with the mathematical framework needed to build reliable and efficient digital systems.
Additional Product Info :
ISBN 10 :
1439846189
ISBN 13 :
9781439846186
Publisher :
Crc Press
Language :
English
Dimensions :
7.24 x 1.12 x 10.24
Item Weight :
0.88 kg