×


 x 

Shopping cart
39%OFFTimothy T.r. Colburn - Program Verification: Fundamental Issues in Computer Science - 9789401047890 - V9789401047890
Stock image for illustration purposes only - book cover, edition or condition may vary.

Program Verification: Fundamental Issues in Computer Science

€ 451.00
€ 276.10
You save € 174.90!
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

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 4 to 8 working days
Ref
99-1

Reviews for Program Verification: Fundamental Issues in Computer Science

Goodreads reviews for Program Verification: Fundamental Issues in Computer Science


Subscribe to our newsletter

News on special offers, signed editions & more!