Search filters

Type of record

Search for

Search goes straight to that type's list. More filters shows the other fields you can filter it by, such as genre or author.

Theme

Text size

Width

Color vision

Welcome back

Password

Keep me signed in

Works › Introduction to Practical Formal Methods Using Temporal Logic

Introduction to Practical Formal Methods Using Temporal Logic

ID 35e55a67-4d36-4dec-9007-7a60f252e387

Options ▾

Network Notes Languages Appearance

Score

No votes yet.

At a glance

Type: Book
Open Library: OL21464592W
Written in: Unknown
Translations: No translations yet.
Files: No files yet.

Credits

Michael Fisher · Author

Entities

None yet.

Identifiers

OL21464592W · openlibrary_works

In fiction

None yet.

About us
Privacy & cookies
Accessibility
Languages
Contact
API
Glossary
Terms
Open source licenses

Character and story data provided by the Linea APIs.

An unexpected error occurred. Reload

Cookies

Linea keeps a few cookies in your browser. Some are needed for the site to work; the others are up to you. Change your mind at any time from the Cookies line at the bottom of the page.

Necessary
Signing in, staying signed in across the Linea sites, protecting forms, your language, and these choices. Always on.
Preferences
Your theme, text size, page width and color vision settings, kept for a year. Without them the site shows its defaults on every visit.
Usage tracking
May Linea record the pages you visit and the buttons and links you use, with your browser's details and your IP address, to see how the site is used? Nothing you type is recorded, and the record is kept for 13 months.

Rejoining the server...

Rejoin failed... trying again in seconds.

Failed to rejoin.
Please retry or reload the page.

The session has been paused by the server.

Failed to resume the session.
Please retry or reload the page.