Filters
Advanced Search Browse by Genre

Found 412 results for "Program verification (Computers)"

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
An introduction to computer science
An introduction to computer science

by Jean-Paul Tremblay, Richard B. Bunt

1979 8 ed.
Computer algorithms Computer programming Data structures (Computer...
SystemVerilog for Verification
SystemVerilog for Verification

by Chris Spear

2006 4 ed.
Systems engineering Circuits and Systems Computer input-output equ...
Program verification
Program verification

by Timothy R. Colburn, James H. Fetzer

1899 2 ed.
Verification Computer software Geography
Program construction and verification
Program construction and verification

by Roland C. Backhouse

1986 1 ed.
Computer programming Developpement Programmation
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...
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...
Real time programming
Real time programming

by Rudrapatna Shyamasundar, R. K. Shyamasundar

2002 4 ed.
Real-time programming Programming languages Real-Time Data Processing
Program Verification
Program Verification

by Timothy R. Colburn

1993 1 ed.
Computer science Software engineering Humanities
The foundations of program verification
The foundations of program verification

by Jacques Loeckx

1984 3 ed.
Verification Computer programs Logiciels
Validation, verification, and testing of computer software
Validation, verification, and testing of computer software

by W. Richards Adrion

1981 4 ed.
Computer programs Computer software Testing
Hardware Verification With SystemVerilog
Hardware Verification With SystemVerilog

by Mike Mintz, Robert Ekendahl

2007 3 ed.
Verification Verilog (Computer hardwar... Integrated circuits
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 (...
"Verification of numerical control part programs using computer graphics"
"Verification of numerical control part programs using compu...

by Colin Farthing

1 ed.
Theory of program structures
Theory of program structures

by Sheila Greibach

1975 2 ed.
Computer programming Recursive programming Computer programs
An introduction to formal program verification
An introduction to formal program verification

by Ali Mili

1985 1 ed.
Verification Computer programs Computer programming
A practical guide to adopting the Universal Verification Methodology (UVM)
A practical guide to adopting the Universal Verification Met...

by Sharon Rosenberg

2010 1 ed.
Debugging in computer sci... Computer software Verification
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 Aided Verification
Computer Aided Verification

by Natasha Sharygina, Helmut Veith

2013 3 ed.
Computer software, verifi... Software engineering Computer science
Computer program testing
Computer program testing

by Summer School on Computer Program Testing (1981 Urbino), B. Chandrasekaran

1981 3 ed.
Testing Congresses Computer programs