.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Program Verification
. Ed(S): Colburn, Timothy R.; Fetzer, James H.; Rankin, Terry L.
€ 380.37
FREE Delivery in Ireland
Description for Program Verification
Hardback. Examines the problem of developing a paradigm appropriate to computer science, taking account of the proponents' and opponents' views about formal methods. Editor(s): Colburn, Timothy R.; Fetzer, James H.; Rankin, Terry L. Series: Studies in Cognitive Systems. Num Pages: 458 pages, biography. BIC Classification: UM; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 26. Weight in Grams: 840.
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
Format
Hardback
Publication date
1993
Publisher
Kluwer Academic Publishers United States
Number of pages
458
Condition
New
Series
Studies in Cognitive Systems
Number of Pages
458
Place of Publication
Dordrecht, Netherlands
ISBN
9780792319658
SKU
V9780792319658
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Program Verification