Olveczky, Peter Csaba

Vis mig kun

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

Olveczky, Peter Csaba

436,85 DKK

Formal Aspects of Component Software

Formal Aspects of Component Software

Olveczky, Peter Csaba

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Formal Aspects of Component Software

Formal Aspects of Component Software

Olveczky, Peter Csaba

436,85 DKK

Theoretical Aspects of Computing - ICTAC 2021

Theoretical Aspects of Computing - ICTAC 2021

Olveczky, Peter Csaba

619,55 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Formal Aspects of Component Software

Formal Aspects of Component Software

Olveczky, Peter Csaba

436,85 DKK

Designing Reliable Distributed Systems

Designing Reliable Distributed Systems

Olveczky, Peter Csaba

509,93 DKK

Designing Reliable Distributed Systems

Designing Reliable Distributed Systems

Olveczky, Peter Csaba

509,93 DKK