Verificatie

11 books
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.
Verification--how much is enough?Allan S. Krass
⏱ 4h 31m

Verification--how much is enough?

Allan S. Krass

1985271 pp.
Mechanizing ProofDonald MacKenzie
⏱ 7h 25m

Mechanizing Proof

Donald MacKenzie

2001445 pp.
Computer aided verificationNicolas Halbwachs
⏱ 8h 26m

Computer aided verification

Nicolas Halbwachs

1999506 pp.
Verification in economics and historyO. F. Hamouda
⏱ 3h 2m

Verification in economics and history

O. F. Hamouda

1991182 pp.
Software verification and validationMichael S. Deutsch
⏱ 5h 27m

Software verification and validation

Michael S. Deutsch

1982327 pp.
Interactive systemsDSV-IS 2002 (2002 Rostock, Germany)
⏱ 4h 27m

Interactive systems

DSV-IS 2002 (2002 Rostock, Germany)

2002267 pp.
Reden von GottWilhelmus Antonius de Pater
⏱ 1h 52m

Reden von Gott

Wilhelmus Antonius de Pater

1974112 pp.
Optimal interprocedural program optimizationJens Knoop
⏱ 4h 48m

Optimal interprocedural program optimization

Jens Knoop

1998288 pp.
Computer Aided VerificationOrna Grumberg
⏱ 8h 6m

Computer Aided Verification

Orna Grumberg

1997486 pp.