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

Books · Search

Books by David C. Luckham

Distributed processing · Industrial management

Event processing for business

David C. Luckham

2011

Anna: A Language for Annotating Ada Programs

ANNA (Computer program language) · Ada (Computer program language)

Anna: A Language for Annotating Ada Programs

David C. Luckham

1987

Hardware design and simulation in VAL/VHDL

VHDL (Computer hardware description language) · Vhdl (computer hardware description language)

Hardware design and simulation in VAL/VHDL

Larry M. Augustin

1991

Programming with specifications

ANNA (Computer program language) · Ada (Computer program language)

Programming with specifications

David C. Luckham

1990

ANNA A Language for Annotating Ada Programs

Computer science · Programming Languages, Compilers, Interpreters

ANNA A Language for Annotating Ada Programs

David C. Luckham

1987