0
17 years of experience17 years of Excellence
SUBJECTS
ADV. SEARCH
Indian Books on Discounts
  Dynamics Logic
 

Dynamics Logic

by Harel, Kozen & Tiuryn

  Price : Rs 295.00
  Your Price : Rs 250.75
Discount
15
Out of Stock
  Dynamic Logic is a formal system for reasoning about programs and it also enjoys the singular advantage of being strongly related to classical logic. Traditionally, this has meant formalizing correctness specifications are met by a particular program. This book presents a comprehensive introduction to Dynamic Logic (DL). It can be described as a blend of three complementary classical ingredients: first-order predicate logic, modal logic, and the algebra of regular events. These components merge to form a system of remarkable unity that is theoretically rich as well as practical. The text is divided into three parts: Part I reviews the fundamental concepts of logic and computability theory that are needed in the study of Dynamic Logic. Part II discusses Propositional Dynamic Logic and its variants, and Part III discusses First-Order Dynamic and its variants. Examples are provided throughout, and a collection of exercises and a short historical section are included at the end of each chapter. The book will be well suited for the students of computer science and those pursuing postgraduate courses in philosophy.ISBN- 9788120331716
 


Pages : 476
Credit Cards
Payment accepted by All Major Credit and Debit Cards, Net Banking, Cash Cards, Paytm, UPI, Paypal. Our payment gateways are 100% secure.
Check Delivery
Books by Same Author
18%
The Challenge of Democracy - Citizenship, Rights, and Ethnic Conflicts in India and Israel
by Ayelet Harel-Shalev
10%
WHY LAW MATTERS
by ALON HAREL
18%
Algorithmics : The Spirit Of Computing
by Harel
15%
Dynamics Logic
by Harel, kozen & Tiuryn
Books of Similar Interest
15%
A Beginner`s Guide to Application Programming in C
by R.S. Salaria
18%
CCNP Quick Reference: A Quick Review of CCNP Exam Topics
by Donohue
7%
Textbook Of Programming and Object Structures Using C ++ 1st Edition
by Prasadita V. Sharda, Laxmi C Vasantha
18%
Sams TEach Yourself Cobra In 14 Days
by Rosenberger
7%
Computer Science XII PSEB, 1st Edition 2001
by Do
Best Book Mart
Support

Call Us Phone : +91-9266663909
Email Us Email : support [at] bestbookmart.com
Working Hours Timing : 10:00 AM to 6:00 PM (Mon-Fri)
Powered By
CCAvenue
SSL Protection