Book
Verifiable programmingOle-Johan Dahl

Verifiable programming

Ole-Johan Dahl
1992269 pages
Be the first to rate
1 edition

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign up to track
Add to list

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

1 edition
  • Other · English · 1992
    Prentice Hall · 269 pages · 9780139510625
Computer programsVerification54.51 programming techniquesProgrammverifikationProgrammatuurtechniek