Hoppa till sidans huvudinnehåll

Peter Csaba Olveczky - Böcker

Visar alla böcker från författaren Peter Csaba Olveczky.
7 produkter

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

Av Peter Csaba Ölveczky, Peter Csaba Olveczky

Häftad, Engelska, 2018

1 029 kr

Skickas inom 10-15 vardagar
Del 1008 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Av Cyrille Artho, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Av Peter Csaba Ölveczky, Gwen Salaün m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2021

18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Av Antonio Cerone, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2021

1 099 kr

Skickas inom 10-15 vardagar

Logic, Rewriting, and Concurrency

Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Av Narciso Martí-Oliet, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Av Christiano Braga, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Av Farhad Arbab, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar