.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Program Verification: Fundamental Issues in Computer Science
Timothy T.R. Colburn
€ 372.72
FREE Delivery in Ireland
Description for Program Verification: Fundamental Issues in Computer Science
Paperback. .
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. ... Read 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. ... Read more
Product Details
Publisher
Springer
Format
Paperback
Publication date
2012
Series
Studies in Cognitive Systems
Condition
New
Number of Pages
458
Place of Publication
Dordrecht, Netherlands
ISBN
9789401047890
SKU
V9789401047890
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Program Verification: Fundamental Issues in Computer Science