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 Mosses Peter D.

TAPSOFT '95

Development · Congresses

TAPSOFT '95

International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark)

1995

CASL Reference Manual

CASL (Computer program language)

CASL Reference Manual

Peter D. Mosses

2004

CASL user manual

CASL (Computer program language) · Programming languages (electronic computers)

CASL user manual

Michel Bidoit

2003

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

Computer science · Programming languages (Electronic computers)

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

Peter D. Mosses

2005

Action Semantics

Mosses Peter D.

2010

Action semantics

Peter D. Mosses

1992

TAPSOFT '95

Development · Congresses

TAPSOFT '95

Portugal) ETAPS 98 (1998 : Lisbon