fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Verifiable programming

Verifiable programming

by Ole-Johan Dahl

Computer programsVerification54.51 programming techniquesProgrammverifikationProgrammatuurtechniek
0.0
Open Library
Open Library

Themes & subjects

Computer programsVerification54.51 programming techniquesProgrammverifikationProgrammatuurtechniek

About the author

Ole-Johan Dahl

1931

Author

Ole-Johan Dahl

Pages

269

Read time

≈ 7h

Editions

1

Language

English

Publisher

Prentice Hall

ISBN

0139510621

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Course ILT

Telephone selling · Computer industry

Course ILT

Course Technology

2000

Interactive Computing Series

Time management · Microsoft Windows (Computer file)

Interactive Computing Series

Kenneth C. Laudon

1997

Mastering today's software

1-2-3 for Windows · Application software

Mastering today's software

Edward G. Martin

1992

Introducing Computers

Enable (computer program) · Computers

Introducing Computers

Robert H. Blissmer

1988

I-Series

Microsoft Windows (Computer file) · Operating systems (Computers)

I-Series

Stephen Haag

2001

WordPress For Dummies

Computer Technology · Nonfiction

WordPress For Dummies

Lisa Sabin-Wilson

2007

Computer Concepts

Amateurs' manuals · Computer input-output equipment

Computer Concepts

June Jamrich Parsons

1996

Your Office

Microsoft office (computer program) · Business, data processing

Your Office

Amy S. Kinser

2012

Patterns

WebSphere · Software patterns

Patterns

IBM Redbooks

2002

Your Office

Microsoft office (computer program) · Microsoft Office

Your Office

Amy Kinser

2012

Intermediate Accounting

Accounting · Problems, exercises

Intermediate Accounting

Jerry J. Weygandt

1989

Reachability Problems

Computer simulation · Computers

Reachability Problems

Parosh Aziz Abdulla

2010

On-Site Inspection Agency

Nuclear arms control · United States

On-Site Inspection Agency

United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.

1989

On-site inspections under the CFE treaty

Arms control · Disarmament

On-site inspections under the CFE treaty

Joseph P. Harahan

1996

Verification 1995

Arms control · Verification

Verification 1995

J. B. Poole

1995

Verification 1996

Arms control · United nations, armed forces

Verification 1996

J. B. Poole

1996

Reconfigurable system design and verification

Computer systems · Embedded computer systems

Reconfigurable system design and verification

Pao-Ann Hsiung

2009

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification · Petri nets

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Michael Yoeli

2008