Bokus

Peter Csaba Olveczky

Visar alla böcker från författaren Peter Csaba Olveczky. Handla med fri frakt och snabb leverans.

  1. Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical Systems

    2019

  2. Formal Aspects of Component Software

    Formal Aspects of Component Software

    2018

  3. Designing Reliable Distributed Systems

    Designing Reliable Distributed Systems

    2018

  4. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    2019

  5. Theoretical Aspects of Computing - ICTAC 2021

    Theoretical Aspects of Computing - ICTAC 2021

    2021

  6. Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    2015

  7. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    2010

  8. Formal Aspects of Component Software

    Formal Aspects of Component Software

    2012