It looks like you're offline.
Donate
♥
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
Hrvatski (hr)
Italiano (it)
Português (pt)
हिंदी (hi)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
MARC Bot
2 days ago
Edit
History of edits to
Formal methods for open object-based distributed systems
Revision
When
Who
Comment
Diff
5
2 days ago
MARC Bot
import existing book
4
January 7, 2023
MARC Bot
import existing book
3
October 4, 2021
ImportBot
import existing book
2
January 29, 2010
WorkBot
add more information to works
1
December 11, 2009
WorkBot
add works page
