Peter Csaba Ölveczky – författare
Visar alla böcker från författaren Peter Csaba Ölveczky.
13 produkter
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Häftad, 2018
1019 kr
Lägg i varukorg
Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Av Kyungmin Bae, Peter Csaba Ölveczky
Häftad, 2018
729 kr
Lägg i varukorg
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
Häftad, 2019
729 kr
Lägg i varukorg
Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Av Peter Csaba Ölveczky, Gwen Salaün
Häftad, 2019
729 kr
Lägg i varukorg
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
Häftad, 2021
1089 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2014
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2015
729 kr
Lägg i varukorg
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, 2015
709 kr
Lägg i varukorg
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
Häftad, 2016
709 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2016
729 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Av Cyrille Artho, Peter Csaba Ölveczky
Häftad, 2017
729 kr
Lägg i varukorg
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
Häftad, 2010
729 kr
Lägg i varukorg
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
Häftad, 2012
729 kr
Lägg i varukorg