Filters
Advanced Search Browse by Genre

Found 8 results for "Peter Csaba Ölveczky"

Designing Reliable Distributed Systems
Designing Reliable Distributed Systems

by Peter Csaba Ölveczky

2018 2 ed.
Electronic data processin...
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications

by Peter Csaba Ölveczky

2010 1 ed.
Rewriting Logic And Its Applications 8th International Workshop Wrla 2010 Held As A Satellite Event Of Etaps 2010 Paphos Cyprus March 2021 2010 Revised Selected Papers
Rewriting Logic And Its Applications 8th International Works...

by Peter Csaba Olveczky

2010 1 ed.
Logic design Computer science Software engineering
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems

by Cyrille Artho, Peter Csaba Ölveczky

2014 8 ed.
System failures (engineer... Systems engineering Formal languages
Formal Aspects of Component Software
Formal Aspects of Component Software

by Christiano Braga, Peter Csaba Ölveczky

2016 3 ed.
Software engineering Computer science
Theoretical Aspects of Computing - ICTAC 2021
Theoretical Aspects of Computing - ICTAC 2021

by Antonio Cerone, Peter Csaba Ölveczky

2021 1 ed.
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency

by Narciso Martí-Oliet, Peter Csaba Ölveczky

2015 2 ed.
Logic, symbolic and mathe... Computer programming
Formal Aspects of Component Software
Formal Aspects of Component Software

by Farhad Arbab

2012 4 ed.
Mathematical Logic and Fo... Programming Techniques Information Systems