0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Program Verification - Fundamental Issues in Computer Science (Hardcover, 1993 ed.) Loot Price: R6,526
Discovery Miles 65 260
You Save: R416 (6%)
  • This item is a special order that could take a long time to obtain.

Program Verification - Fundamental Issues in Computer Science (Hardcover, 1993 ed.): Timothy R. Colburn, James H. Fetzer, Terry...
Program Verification - Fundamental Issues in Computer Science (Hardcover, 1993 ed.): Timothy R. Colburn, James H. Fetzer, Terry...

Share your images

Program Verification - Fundamental Issues in Computer Science (Hardcover, 1993 ed.)

Timothy R. Colburn, James H. Fetzer, Terry L. Rankin

Series: Studies in Cognitive Systems, v. 14

 (sign in to rate)
List price R6,942 Loot Price R6,526 Discovery Miles 65 260 | Repayment Terms: R607 pm x 12* You Save R416 (6%)

Bookmark and Share

Our supplier does not have stock of this product at present, but we can create a special order for you. Alternatively, if you add it to your wishlist we will send you an email message should it become available from stock. Special orders from this supplier are normally fulfilled within 31 - 41 working days. Please note:

  • Special order items cannot be combined on an order with other items.
  • Special orders can sometimes take significantly longer than this estimate and sometimes our suppliers may be unable to fill a special order.
  • We cannot accept returns of special order titles.
  • If we haven't been able to get the product for you within about 3 months, we will automatically cancel the order and fully refund any payments that you have made.

New to special orders? Find out more.

Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, 'Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.

General

Imprint: Kluwer Academic Publishers
Country of origin: United States
Series: Studies in Cognitive Systems, v. 14
Release date: 1993
First published: 1993
Editors: Timothy R. Colburn • James H. Fetzer • Terry L. Rankin
Dimensions: 229 x 152 x 26mm (L x W x T)
Format: Hardcover - Laminated cover
Pages: 458
Edition: 1993 ed.
ISBN-13: 978-0-7923-1965-8
Barcode: 9780792319658
Categories: Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Promotions
Books > Computing & IT > Computer programming
Books > Computing & IT > Computer programming > General
LSN: 0-7923-1965-6

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners