Items related to Mathematical logic for computer science modeling and...
Mathematical logic for computer science modeling and reasoning (English 2)(Chinese Edition) - Softcover
Synopsis
Paperback. Pub Date: 2005 Pages: 427 Language: English Publisher: the Machine Press mathematical logic is one of the foundations of computer science. have a wide range of applications in the statute and the verification of the model system. With the increasing complexity of today's software and hardware products. mathematical logic has become more and more everyday tools for design and development staff. Mathematical logic for computer science modeling and reasoning (English 2) suitable mathematical logic. formal methods course materials as the universities computer and related professional. covering propositional logic. predicate logic. modal logic and content of Agent binary decision diagram. model checking and program verification. Compared to traditional mathematical logic textbook. its main features is tightly around the hardware and software Statute and verify the them...
"synopsis" may belong to another edition of this title.
Search results for Mathematical logic for computer science modeling and...
Seller Image
Mathematical logic for computer science modeling and reasoning (English 2)(Chinese Edition)
Published by
Machinery Industry Press, 2000
ISBN 10: 7111160533
ISBN 13: 9787111160533
Used
Softcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.7111160533.G
Seller Image
Mathematical logic for computer science modeling and reasoning (English 2)(Chinese Edition)
Published by
Machinery Industry Press, 2000
ISBN 10: 7111160533
ISBN 13: 9787111160533
New
paperback
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: New. Paperback. Pub Date: 2005 Pages: 427 Language: English Publisher: the Machine Press mathematical logic is one of the foundations of computer science. have a wide range of applications in the statute and the verification of the model system. With the increasing complexity of today's software and hardware products. mathematical logic has become more and more everyday tools for design and development staff. Mathematical logic for computer science modeling and reasoning (English 2) suitable mathe. Seller Inventory # CB018235