Frank S. de Boer
Frank S. de Boer
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal Methods for Components and Objects
cover - Image source: Open LibraryFM
Formal Methods for Components and Objects
cover - Image source: Open LibraryTC
Theoretical Computer Science
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryFM
Formal Methods for Components and Objects Lecture Notes in Computer Science
cover - Image source: Open LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Methods for Components and Objects
- Open Work
Formal Methods for Components and Objects
- Open Work
Theoretical Computer Science
- Open Work
Verification of Sequential and Concurrent Programs
- Open Work
Formal Methods for Components and Objects Lecture Notes in Computer Science
- Open Work
Formal methods for components and objects
- Open Work
Formal methods for components and objects
- Open Work
Verification of Sequential and Concurrent Programs