Peter Csaba �lveczky

Popular items by Peter Csaba �lveczky

View all offers

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
�lveczky, Peter Csaba

Item prices starting from

� 58.15

View 12 offers

Also find
New, Used
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers: 596 ... in Computer and Information Science, 596)

Item prices starting from

� 41.02

View 17 offers

Also find
New, Used
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings: 11222 (Lecture Notes in Computer Science, 11222)

Item prices starting from

� 41.02

View 20 offers

Also find
New, Used
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers: 476 ... in Computer and Information Science, 476)

Item prices starting from

� 41.02

View 17 offers

Also find
New, Used
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers: 694 ... in Computer and Information Science, 694)

Item prices starting from

� 41.02

View 9 offers

Also find
New
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science, 1008)

Item prices starting from

� 41.02

View 15 offers

Also find
New
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, ... (Lecture Notes in Computer Science, 6381)

Item prices starting from

� 53.86

View 7 offers

Also find
New, Used
Logic, Rewriting, and Concurrency: Essays Dedicated to Jos� Meseguer on the Occasion of His 65th Birthday: 9200 (Lecture Notes in Computer Science, 9200)

Item prices starting from

� 41.02

View 17 offers

Also find
New, Used