Filters
Advanced Search Browse by Genre

Found 414 results for "Program verification (Computers)"

JavaScript
JavaScript

by David Flanagan

There have been many changes in the world of web programming with JavaScript™ since the third edition of thies book was...

1996 23 ed.
JavaScript (Computer prog... Web servers Object-oriented programmi...
Automate the Boring Stuff with Python
Automate the Boring Stuff with Python

by Al Sweigart

2015 8 ed.
Python (Computer program ... Computer programming Programming Languages
Program Verification
Program Verification

by Timothy R. Colburn

1993 1 ed.
Computer science Software engineering Humanities
Program verification
Program verification

by Timothy R. Colburn, James H. Fetzer

1899 2 ed.
Verification Computer software Geography
Research Design
Research Design

by John W. Creswell, J. David Creswell

In the past two decades, research approaches have multiplied to a point at which investigators or inquires have many cho...

1994 20 ed.
Statistical methods Research Methodology
"Verification of numerical control part programs using computer graphics"
"Verification of numerical control part programs using compu...

by Colin Farthing

1 ed.
Object-Oriented Software Engineering
Object-Oriented Software Engineering

by Ivar Jacobson

1992 2 ed.
Development Computer software Object-oriented programmi...
Program verification
Program verification

by Francez, Nissim.

1992 1 ed.
Verification Computer software Computer programs
The foundations of program verification
The foundations of program verification

by Jacques Loeckx

1984 3 ed.
Verification Computer programs Logiciels
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt

1997 3 ed.
Logic design Computer science Computer software, verifi...
Pressure vessel and piping 1972 computer programs verification
Pressure vessel and piping 1972 computer programs verificati...

by I. S. Tuba

1972 1 ed.
Data processing Problems, exercises Structural analysis (Engi...
Computer program NCALC user's manual
Computer program NCALC user's manual

by Robert D Jarrett

1986 1 ed.
Channels (Hydraulic engin... Computer programs
Verification of computer codes in computational science and engineering
Verification of computer codes in computational science and ...

by Patrick M. Knupp, Patrick Knupp

A significant development of the Scientific Revolution was the discovery and derivation of mathematical equations that c...

2002 4 ed.
Numerical calculations Numerical solutions Partial Differential equa...
Program construction and verification
Program construction and verification

by Roland C. Backhouse

1986 1 ed.
Computer programming Developpement Programmation
Verification of the BLAST computer program for houses
Verification of the BLAST computer program for houses
1983 1 ed.
Energy conservation Dwellings
Real time programming
Real time programming

by Rudrapatna Shyamasundar, R. K. Shyamasundar

2002 4 ed.
Real-time programming Programming languages Real-Time Data Processing
Theory of program structures
Theory of program structures

by Sheila Greibach

1975 2 ed.
Computer programming Recursive programming Computer programs
Program verification using Ada
Program verification using Ada

by Andrew D. McGettrick

1982 1 ed.
Ada (Computer program lan... Computer programs Verification
Verification of recursive programs
Verification of recursive programs

by Simon M. Kaplan

1985 1 ed.
Automatic theorem proving Recursive programming
Verification of Business Rules Programs
Verification of Business Rules Programs

by Bruno Berstel-Da Silva

2013 3 ed.
Business, computer networ... Database management Artificial Intelligence (...