Verification Logiciel

33 books
Software engineering conceptsR. E. Fairley
⏱ 6h 4m

Software engineering concepts

R. E. Fairley

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

Data flow analysis

Uday Khedker

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

The foundations of program verification

Jacques Loeckx

1984230 pp.
Verification, Model Checking, and Abstract InterpretationRadhia Cousot
⏱ 8h 3m

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

2005483 pp.
Statistical techniques for analytical review in auditingKenneth W. Stringer
⏱ 5h 2m

Statistical techniques for analytical review in auditing

Kenneth W. Stringer

1986302 pp.
Software testing for financial services firmsHal McIntyre
⏱ 5h 35m

Software testing for financial services firms

Hal McIntyre

2003335 pp.
Verification of sequential and concurrent programsKrzysztof R. Apt
⏱ 6h 43m

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991403 pp.
Model checkingEdmund M. Clarke Jr.
⏱ 6h 17m

Model checking

Edmund M. Clarke Jr.

1999377 pp.
Program construction and verificationRoland C. Backhouse
⏱ 4h 41m

Program construction and verification

Roland C. Backhouse

1986281 pp.
Computer aided verificationThomas Ball
⏱ 9h 24m

Computer aided verification

Thomas Ball

2006564 pp.
Guide to advanced software testingAnne Mette Jonassen Hass
⏱ 7h 21m

Guide to advanced software testing

Anne Mette Jonassen Hass

2008441 pp.
Computer program testingSummer School on Computer Program Testing (1981 Urbino)
⏱ 5h 25m

Computer program testing

Summer School on Computer Program Testing (1981 Urbino)

1981325 pp.
Verification, model checking, and abstract interpretationVMCAI 2005 (2005 Paris, France)
⏱ 8h 1m

Verification, model checking, and abstract interpretation

VMCAI 2005 (2005 Paris, France)

2005481 pp.
Software engineering reviews and auditsBoyd L. Summers
⏱ 4h 0m

Software engineering reviews and audits

Boyd L. Summers

2011240 pp.
Verification of digital and hybrid systemsR. P. Kurshan
⏱ 6h 45m

Verification of digital and hybrid systems

R. P. Kurshan

2000405 pp.
Verifying concurrent processes using temporal logicBrent T. Hailpern
⏱ 3h 28m

Verifying concurrent processes using temporal logic

Brent T. Hailpern

1982208 pp.
Test logicielMaurice Rozenberg
⏱ 3h 51m

Test logiciel

Maurice Rozenberg

1999231 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004324 pp.
Software testing and continuous quality improvementLewis, William E.
⏱ 8h 54m

Software testing and continuous quality improvement

Lewis, William E.

2005534 pp.
Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994David L. Dill
⏱ 8h 0m

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

David L. Dill

1994480 pp.
Page 1 of 2Next →