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
CafeOBJ report

CafeOBJ report

by Razvan Diaconescu, Kokichi Futatsugi

RéécritureThéorie démonstrationSpécification algébriqueCafeOBJObject-oriented methods (computer science)
0.0
Open Library
Open Library

Themes & subjects

RéécritureThéorie démonstrationSpécification algébriqueCafeOBJObject-oriented methods (computer science)Algebra

Authors

Razvan Diaconescu, Kokichi Futatsugi

Pages

174

Read time

≈ 4h

Editions

3

Language

English

Publisher

World Scientific Publishing Co Pte Ltd

ISBN

9781299280991

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

Rewriting Techniques and Applications

Réécriture · Algebraïsche logica

Rewriting Techniques and Applications

Jean-Pierre Jouannaud

1985

Translating relationalqueries into iterative programs

Electronic digital computers · Functional programming languages

Translating relationalqueries into iterative programs

Johann Christoph Freytag

1987

Foundations of software technology and theoretical computer science

Réécriture · Informatik

Foundations of software technology and theoretical computer science

V. Vinay

1996

Automata, languages and programming

Réécriture · Programmation

Automata, languages and programming

Pierpaolo Degano

1997

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

Réécriture · Informatik

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

S. Biswas

1992

Rewriting techniques and applications

Réécriture · Algebraïsche logica

Rewriting techniques and applications

Pierre Lescanne

Foundations of Disjunctive Logic Programming

Logic programming (Computer science) · Logic programming

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992

Proof and computation

Théorie démonstration · Logique symbolique et mathématique

Proof and computation

North Atlantic Treaty Organization

1995

Current trends in concurrency

Parallel processing (Electronic computers) · Congresses

Current trends in concurrency

J. W. De Bakker

1986

Axiomatising the logic of computer programming

Proof theory · Semantics

Axiomatising the logic of computer programming

Robert Goldblatt

1982

The resolution calculus

Automatic theorem proving · Théorie démonstration

The resolution calculus

Alexander Leitsch

1997