Peter Csaba Ölveczky – författare

Visar alla böcker från författaren Peter Csaba Ölveczky.

13 produkter

Kategorier

13 produkter

Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
AvPeter Csaba Ölveczky
Häftad, Engelska, 2018
1 039 kr
Skickas inom 10-15 vardagar
Del 11222
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
739 kr
Skickas inom 10-15 vardagar
Del 1008
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
739 kr
Skickas inom 10-15 vardagar
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
739 kr
Skickas inom 10-15 vardagar
Del 12819
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 109 kr
Skickas inom 10-15 vardagar
Del 419
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
749 kr
Skickas inom 10-15 vardagar
Del 476
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
749 kr
Skickas inom 10-15 vardagar
Del 9200
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
719 kr
Skickas inom 10-15 vardagar
Del 9539
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
719 kr
Skickas inom 10-15 vardagar
Del 596
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
749 kr
Skickas inom 10-15 vardagar
Del 694
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
749 kr
Skickas inom 10-15 vardagar
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
749 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
AvFarhad Arbab,Peter Csaba Ölveczky
Häftad, Engelska, 2012
749 kr
Skickas inom 10-15 vardagar