/

/

/

Logic In Computer Science Modelling And Reasoning About Systems

Key Highlights

View Similar

Set Of 2: Modern Indian History & Principles Of Indian Geography For UPSC, CSE, Prelims & Mains State PSC Exam 2026

63%

1,399

₹521

AD

Quarterly Current Affairs West Bengal July | August | September 2025 For WBCS | WBPSC|WBSSC|WBP|KP|SSC|RAILWAY|BANKING|Teaching & All Govt. Exams

46%

199

₹108

AD

OMR Sheets For Practice UPSC 2026 Prelims Paper - II Latest, 80 MCQs - Pack Of 50 Pages (Loose-Leaf) For UPSC, CSE, Prelims, Mains, State PSCs, Competitive Exams 2026

41%

299

₹177

AD

Logic In Computer Science Modelling And Reasoning About Systems ...
more

Delivery details

Location not set

Select delivery location

Product highlights

Book

Logic In Computer Science Modelling And Reasoning About Systems

Author

Michael Huth, Mark Ryan

Binding

Paperback

Publishing Date

2022

Publisher

Cambridge University Press

Edition

2nd edition

Number of Pages

427

Language

English

All details

Features, description and more

Manufacturer info

Show More

Questions and Answers

No questions and answers available

Be the first to ask about this product

Ask a question

Notify Me

Similar Products

MHT-CET Triumph Physics, Chemistry And Biology (PCB) 2026 | Includes MCQs Chapterwise & Topicwise, Previous Years Question (PYQs) & Model Papers | 3 Books Paperback, Target Publications

34% OFF

₹2,100

₹1,387

₹1,251 with 2 offers

Fireman/ Firewoman Special Topics Book 2025 (Latest Syllabus) By Talent Academy Paperback, Malayalam, Talent Academy

31% OFF

₹180

₹124

₹74 with 2 offers

Kerala PSC CPO Special Topics 2026 (Latest Edition) By Talent Academy Paperback, Malayalam, Talent Academy

27% OFF

₹270

₹196

₹146 with 2 offers

Oswal-Gurukul Most Likely CBSE Question Bank Class 10 Bundles (Set Of 5) : Maths, Science, English, Hindi-A & Social Science For Exam 2024 Product Bundle, Oswal - Gurukul

27% OFF

₹2,800

₹2,043

₹1,845 with 2 offers

English Grammar Books For Kids | 5 To 10 Year Old | Practice Exercises With Colourful Pictures For Primary Children | Book 1 To 4 - Set Of 4 Books Paperback, Content Team at Target Publications

40% OFF

₹720

₹430

₹370 with 3 offers

Jeevith 2nd PUC - Computer Science - Student's Illuminator|A Complete Question Bank With Answers -An Authentic Approach|Thoroughly Updated For 2026-27| Paperback, R Chandrashekar, Bhuvaneshwari Ankalagi

19% OFF

₹249

₹202

₹152 with 2 offers

Quarterly Current Affairs West Bengal July | August | September 2025 For WBCS | WBPSC|WBSSC|WBP|KP|SSC|RAILWAY|BANKING|Teaching & All Govt. Exams Paperback, Bengali, Adda247 Publications

46% OFF

₹199

₹108

Buy 2 items, save extra ₹20

OMR Sheets For Practice UPSC 2026 Prelims Paper - II Latest, 80 MCQs - Pack Of 50 Pages (Loose-Leaf) For UPSC, CSE, Prelims, Mains, State PSCs, Competitive Exams 2026 Loose-leaf, StudyIQ Publications

41% OFF

₹299

₹177

₹127 with 2 offers

Hang on, loading content