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
⚠ Urge publishers to restore access to 500,000 removed library books:
Sign Letter
-
Learn More
X
Last edited by
MARC Bot
December 13, 2022
Edit
History of edits to
FM 2012: Formal Methods
Revision
When
Who
Comment
Diff
4
December 13, 2022
MARC Bot
import existing book
3
February 27, 2022
ImportBot
import existing book
2
November 13, 2020
MARC Bot
import existing book
1
June 30, 2019
MARC Bot
Imported from
harvard_bibliographic_metadata
MARC record
.
