All Formats & Editions
1 - 2 of 2 results found
Program Verification: Fundamental Issues in Com...
Edition Description
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...
Edition Details
Format:Paperback
Language:English
ISBN:9401047898
Format: Paperback
Condition:
$
359.00
Program Verification: Fundamental Issues in Com...
Edition Description
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...
Edition Details
Format:Hardcover
Language:English
ISBN:0792319656
Format: Hardcover
Condition:
$
329.00
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
