Peter Csaba Ölveczky

Peter Csaba Ölveczky

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

Lecture Notes in Computer Science, nr. 6381

Editat de Peter Csaba Ölveczky

6 oct 2010

Preț: 332^.39 lei 415^.49 lei

22-36 zile

-20%

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12819

Editat de Antonio Cerone et al.

20 aug 2021

Preț: 509^.44 lei 636^.80 lei

43-57 zile

-20%

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11724

Editat de Peter Csaba Ölveczky et al.

2 sep 2019

Preț: 337^.97 lei 422^.47 lei

38-44 zile

-20%

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Communications in Computer and Information Science, nr. 476

Editat de Cyrille Artho et al.

23 apr 2015

Preț: 331^.08 lei 413^.85 lei

43-57 zile

-20%

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11222

Editat de Kyungmin Bae et al.

7 oct 2018

Preț: 333^.22 lei 416^.52 lei

43-57 zile

-20%

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Undergraduate Topics in Computer Science

Autor Peter Csaba Ölveczky

22 feb 2018

Preț: 433^.68 lei 542^.10 lei

38-44 zile

-20%

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9539

Editat de Christiano Braga et al.

30 ian 2016

Preț: 334^.71 lei 418^.38 lei

43-57 zile

-20%

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 9200

Editat de Narciso Martí Oliet et al.

21 aug 2015

Preț: 349^.72 lei 437^.16 lei

43-57 zile

-20%

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7253

Editat de Farhad Arbab et al.

23 noi 2012

Preț: 336^.54 lei 420^.67 lei

43-57 zile

-20%