Proving programs correct

Proving programs correct

Saved in:

Bibliographic Details
Main Author:	Anderson, Robert Brockett 1941-
Format:	Book
Published:	New York Wiley 1979
Subjects:	Debugging in computer science Computer programs > Testing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Program debugging the prevention and cure of program errors
by: Brown, A. R. 1945- Arthur Robert
Published: (1973)

Program debugging environments design and utilization
by: Lazzerini, Beatrice 1953-
Published: (1992)

Codes for detecting and correcting unidirectional errors
by: Blaum, Mario 1951-
Published: (1993)

Software defect removal
by: Dunn, Robert H. 1929-
Published: (1984)

Program style, design, efficiency, debugging, and testing
by: Van Tassel, Dennie 1939-
Published: (1974)

The art of software testing
by: Myers, Glenford J
Published: (1979)

How to debug your personal computer
by: Bruce, Robert C. 1951-
Published: (1980)

Advanced debuging methods
by: Lencevicius, Raimondas
Published: (2000)

Easy upgrading and troubleshooting
by: Neuman, Sally Davis
Published: (1993)

COBOL debugging diagnostic manual
by: Vesely, Eric Garrigue
Published: (1991)

The science of debugging
by: Telles, Matt
Published: (2001)

Software debugging for microcomputers
by: Bruce, Robert C. 1951-
Published: (1980)

Why programs fail a guide to systematic debugging
by: Zeller, Andreas
Published: (2009)

How to write Macintosh software the debugging reference for Macintosh
by: Knaster, Scott
Published: (1992)

Debugging Macintosh software with MacsBug includes MacsBug 6.2
by: Othmer, Konstantin
Published: (1991)

Cleaning up a computer mess a guide to diagnosing and correcting computer problems
by: Perry, William E
Published: (1986)

Troubleshooting on microprocessor based systems
by: Williams, Gene B
Published: (1984)

Troubleshooting on microprocessor based systems
by: Williams, G. B
Published: (1984)

Software error detection through testing and analysis
by: Huang, J. C. 1935-
Published: (2009)

Software error detection through testing and analysis
by: Huang, J. C. 1935-
Published: (2009)

Debugging Java troubleshooting for programmers
by: Mitchell, Will David
Published: (2000)

Practical debugging in Java
Published: (2003)

Practical debugging in C++
by: Ford, Ann R
Published: (2002)

Debugging C++ troubleshooting for programmers
by: Pappas, Chris H
Published: (2000)

The debugger's handbook TURBO Pascal
by: McKelvey, James
Published: (1987)

C++ and C debugging, testing, and reliability the prevention, detection, and correction of program errors
by: Spuler, David 1969-
Published: (1994)

Debugging creative techniques and tools for software repair
by: Stitt, Martin
Published: (1992)

Debugging creative techniques and tools for software repair
by: Stitt, Martin 1957-
Published: (1992)

Debugging ASP-NET
by: Goodyear, Jonathan
Published: (2002)

Debugging the development process
by: Maguire, Steve
Published: (2001)

Debugging visual basic troubleshooting for programmers
by: Jung, David G 1966-
Published: (2000)

Debugging the 9 indispensable rules for finding even the most elusive software and hardware problems
by: Agans, David J. 1954-
Published: (2002)

Upgrading and troubleshooting your Mac Mac OS X edition
by: Steinberg, Gene
Published: (2001)

Bug proofing visual basic a guide to error handling and prevention
by: Stephens, Rod
Published: (1999)

Fault diagnosis in data communications systems
by: Down, P. J. (Peter John
Published: (1977)

What every engineer should know about microcomputer systems design and debugging
by: Wray, Bill
Published: (1984)

Secure programming with static analysis
by: Chess, Brian
Published: (2007)

Oracle Database 12c PL/SQL Programming Design and Deploy Powerful, Database-Centric PL/SQL Applications
by: McLaughlin, Michael
Published: (2014)

Debugging applications for Microsoft .NET and Microsoft Windows
by: Robbins, John 1964-
Published: (2003)

Application debugging an MVS abend handbook for COBOL, Assembly, PL/I, and FORTRAN programmers
by: Binder, Robert 1950-
Published: (1985)