Pub Date: August 20, 1998
Dewey: 004.36
LCCN: 98022854
Lexile Code: 0000
Features: Illustrated
Target Age Group: NA to NA
Physical Info: 0.92" H x 9.51" L x 6.42" W ( 1.20 lbs) 302 pages
BISAC Categories:
Computers | Software Development and Engineering | General | Distributed Systems | ClientServer Computing | Programming | Algorithms | Computer Science | Logic Design | Networking | Hardware | Data Science | Data Modeling and Design | Mathematics | Applied
Description: Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic.