Peter Csaba Ölveczky

Identifiers

Open LibraryOL7861037A

Top Subjects

Computer science (1)
Computer software, development (1)
Software engineering (1)
Electronic data processing, distributed processing (1)

Books by Peter Csaba Ölveczky

Total count: 8

Rewriting Logic and Its Applications8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Springer London, Limited2010-01-01
Formal Aspects of Component Software8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer2012-11-23
Formal Techniques for Safety-Critical SystemsSecond International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Springer London, Limited2014-01-01
Logic, Rewriting, and ConcurrencyEssays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer London, Limited2015-01-01
Formal Aspects of Component Software12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Springer London, Limited2016-01-01
Designing Reliable Distributed SystemsA Formal Methods Approach Based on Executable Modeling in Maude

Springer London, Limited2018-01-01
Software Engineering and Formal Methods17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Springer2019-09-02
Theoretical Aspects of Computing - ICTAC 202118th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings

Springer International Publishing AG2021-01-01