Tell a friend about this book...
Friend's Email:
Subject: I have found a book that I think you would enjoy
Member $avings: $30,792,008.16
|
Books Available: 5,064,783
|
Members Online: 1,803
Your Source for Swapping & Buying Books Online!
How To Swap Books
Sign Up
Search 
Kiosk
All Books
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Member Directory
Discussion Forums
Book Lists
Blog
Donations
Live Chat
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
Need Help?
Search - Dynamic Logic (Foundations of Computing)
|
|
Dynamic Logic - Foundations of Computing Author: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical... more »
|
Genres:
- Computers & Technology >> Computer Science >> Artificial Intelligence >> Theory of Computing
- --
- Computers & Technology >> Programming >> General
- --
- Computers & Technology >> General