Program Verification : Fundamental Issues in Computer Science /

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 comput...

Full description

Bibliographic Details

Main Author:	Colburn, Timothy R.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Fetzer, James H., Rankin, Terry L.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1993.
Series:	Studies in cognitive systems ; 14.
Subjects:	Computer science. Science > Philosophy. Software engineering. Artificial intelligence. Mathematical optimization. Humanities. Electronic books.
Online Access:	Connect to the full text of this electronic book