Computer Program Verification

251 books
The foundations of program verificationJacques Loeckx
⏱ 3h 50m

The foundations of program verification

Jacques Loeckx

1984230 pp.
An introduction to formal program verificationAli Mili
⏱ 4h 51m

An introduction to formal program verification

Ali Mili

1985291 pp.
The foundations of program verificationJacques Loeckx
⏱ 3h 50m

The foundations of program verification

Jacques Loeckx

1984230 pp.
Program verificationFrancez, Nissim.
⏱ 5h 12m

Program verification

Francez, Nissim.

1992312 pp.
Rigorous software developmentJosé Bacelar Almeida
⏱ 4h 30m

Rigorous software development

José Bacelar Almeida

2011270 pp.
Program verification using AdaAndrew D. McGettrick
⏱ 5h 45m

Program verification using Ada

Andrew D. McGettrick

1982345 pp.
Formal methods of program verification and specificationH. K. Berg
⏱ 3h 27m

Formal methods of program verification and specification

H. K. Berg

1982207 pp.
A survey of imput-output semantics and program verificationAndrzej Blikle
⏱ 1h 4m

A survey of imput-output semantics and program verification

Andrzej Blikle

197964 pp.
PLPV '09PLPV '09 (2009 Savannah, Ga.)
⏱ 1h 22m

PLPV '09

PLPV '09 (2009 Savannah, Ga.)

200982 pp.
PLPV'07PLPV '07 (2007 Freiburg, Germany)
⏱ 1h 9m

PLPV'07

PLPV '07 (2007 Freiburg, Germany)

200769 pp.
Software TestingBrian Hambling
⏱ 4h 36m

Software Testing

Brian Hambling

2009276 pp.
A practical guide to adopting the Universal Verification Methodology (UVM)Sharon Rosenberg
⏱ 4h 35m

A practical guide to adopting the Universal Verification Methodology (UVM)

Sharon Rosenberg

2010275 pp.
Software engineering conceptsR. E. Fairley
⏱ 6h 4m

Software engineering concepts

R. E. Fairley

1985364 pp.
Software testingGerald D. Everett
⏱ 4h 40m

Software testing

Gerald D. Everett

2006280 pp.
Principles of model checkingChristel Baier
⏱ 16h 24m

Principles of model checking

Christel Baier

2008984 pp.
Data flow analysisUday Khedker
⏱ 6h 35m

Data flow analysis

Uday Khedker

2008395 pp.
Verified softwareVSTTE 2008 (2008 Toronto, Ont.)
⏱ 4h 22m

Verified software

VSTTE 2008 (2008 Toronto, Ont.)

2008262 pp.
Managing real-time software projectsLuqi
⏱ 10m

Managing real-time software projects

Luqi

199210 pp.
Hardware Verification With SystemVerilogMike Mintz
⏱ 5h 18m

Hardware Verification With SystemVerilog

Mike Mintz

2007318 pp.
Verification, Model Checking, and Abstract InterpretationAgostino Cortesi
⏱ 5h 37m

Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi

2002337 pp.
Page 1 of 13Next →