Bernhard K. Aichernig
Author detail
5 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL7325059A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryTA
Tests and Proofs
cover - Image source: Open LibraryFM
Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010
cover - Image source: Open LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryFM
Formal methods at the crossroads
cover - FMFormal methods at the crossroadsBernhard K. Aichernig
Formal methods at the crossroads
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.