Logic in Computer Science 2ed
Michael Huth
Sold by Bookbot, Prague, Czech Republic
AbeBooks Seller since October 7, 2023
Used - Soft cover
Condition: Used - Fair
Ships from Czech Republic to U.S.A.
Quantity: 1 available
Add to basketSold by Bookbot, Prague, Czech Republic
AbeBooks Seller since October 7, 2023
Condition: Used - Fair
Quantity: 1 available
Add to basketSpuren von Feuchtigkeit / Nässe; Leichte Rillen / Abschürfungen / Risse / Knicke; Gebrochener Buchrücken. Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.
Seller Inventory # 34c5a450-b96f-4b8e-9fc7-815d133c509f
"About this title" may belong to another edition of this title.
Terms and Conditions of Purchase from Bookbot
Shipping costs fully cover all US customs tariffs and charges. No additional payment will be required by the US authorities.
| Order quantity | 4 to 7 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 24.39 | US$ 24.39 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.