Peter Csaba Ölveczky

Filtre: Paperback

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ț: 319^.75 lei 399^.68 lei

3-5 săpt.

-20%

Formal Aspects of Component Software

Lecture Notes in Computer Science

Editat de Farhad Arbab et al.

23 noi 2012

Preț: 325^.25 lei 406^.57 lei

6-8 săpt.

-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ț: 365^.72 lei 457^.15 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ț: 318^.48 lei 398^.10 lei

6-8 săpt.

-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ț: 336^.41 lei 420^.51 lei

6-8 săpt.

-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ț: 321^.98 lei 402^.47 lei

6-8 săpt.

-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ț: 461^.62 lei 577^.02 lei

3-5 săpt. | 6-10 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ț: 320^.55 lei 400^.68 lei

6-8 săpt.

-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ț: 469^.33 lei 586^.66 lei

38-44 zile

-20%