Peter Csaba Ölveczky
Author detail
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
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFA
Formal Aspects of Component Software
cover - Image source: Open LibraryFT
Formal Techniques for Safety-Critical Systems
cover - Image source: Open LibrarySE
Software Engineering and Formal Methods
cover - Image source: Open LibraryFA
Formal Aspects of Component Software
cover - Image source: Open LibraryDR
Designing Reliable Distributed Systems
cover - TATheoretical Aspects of Computin...Peter Csaba Ölveczky
Theoretical Aspects of Computing - ICTAC 2021
no cover - LRLogic, Rewriting, and ConcurrencyPeter Csaba Ölveczky
Logic, Rewriting, and Concurrency
no cover - RLRewriting Logic and Its Applica...Peter Csaba Ölveczky
Rewriting Logic and Its Applications
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Aspects of Component Software
- Open Work
Formal Techniques for Safety-Critical Systems
- Open Work
Software Engineering and Formal Methods
- Open Work
Formal Aspects of Component Software
- Open Work
Designing Reliable Distributed Systems
- Open Work
Theoretical Aspects of Computing - ICTAC 2021
- Open Work
Logic, Rewriting, and Concurrency
- Open Work
Rewriting Logic and Its Applications