Hoppa till sidans huvudinnehåll

Peter Csaba Ölveczky – författare

Visar alla böcker från författaren .
13 produkter
Peter Csaba Ölveczky - Designing Reliable Distributed Systems, Häftad

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

AvPeter Csaba Ölveczky

Häftad, Engelska, 2018

1 009 kr

Skickas inom 10-15 vardagar

Kyungmin Bae, Peter Csaba Ölveczky - Formal Aspects of Component Software, Häftad
Del 11222 - Lecture Notes in Computer Science

Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

AvKyungmin Bae,Peter Csaba Ölveczky

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems, Häftad
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

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Peter Csaba Ölveczky, Gwen Salaün - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

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

AvPeter Csaba Ölveczky,Gwen Salaün

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Peter Csaba Ölveczky - Theoretical Aspects of Computing – ICTAC 2021, Häftad
Del 12819 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2021

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

AvAntonio Cerone,Peter Csaba Ölveczky

Häftad, Engelska, 2021

1 079 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems, Häftad
Del 419 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems, Häftad
Del 476 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency, Häftad
Del 9200 - Lecture Notes in Computer Science

Logic, Rewriting, and Concurrency

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

AvNarciso Martí-Oliet,Peter Csaba Ölveczkym. fl.

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar

Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software, Häftad
Del 9539 - Lecture Notes in Computer Science

Formal Aspects of Component Software

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

AvChristiano Braga,Peter Csaba Ölveczky

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems, Häftad
Del 596 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems, Häftad
Del 694 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

AvCyrille Artho,Peter Csaba Ölveczky

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Peter Csaba Ölveczky - Rewriting Logic and Its Applications, Häftad

Rewriting Logic and Its Applications

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

AvPeter Csaba Ölveczky

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Farhad Arbab, Peter Csaba Ölveczky - Formal Aspects of Component Software, Häftad

Formal Aspects of Component Software

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

AvFarhad Arbab,Peter Csaba Ölveczky

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar