Challenges for Action Theories

By Michael Thielscher

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540674551
• ISBN13: 9783540674559
• Release Date: April 2000
• Publisher: Springer
• Length: 146 Pages
• Weight: 0.51 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"