AboutSign inJoin

Peter Csaba Ölveczky

About

Some information is missing for this author.

Books

Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky, Cyrille Artho
Formal Aspects of Component Software
Formal Aspects of Component Software
Peter Csaba Ölveczky, Farhad Arbab
Formal Aspects of Component Software
Formal Aspects of Component Software
Peter Csaba Ölveczky, Kyungmin Bae
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky, Cyrille Artho
Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
Antonio Cerone, Peter Csaba Ölveczky
Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
Peter Csaba Ölveczky
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky, Cyrille Artho
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian