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

� 56.70

View 13 offers

Also find
New, Used
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Item prices starting from

� 40.74

View 21 offers

Also find
New, Used
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

� 40.74

View 16 offers

Also find
New
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

� 40.74

View 18 offers

Also find
New, Used
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers: 7253 (Lecture Notes in Computer Science, 7253)

Item prices starting from

� 40.74

View 17 offers

Also find
New, Used
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings: 11724 (Lecture Notes in Computer Science, 11724)

Item prices starting from

� 40.74

View 10 offers

Also find
New
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

� 40.74

View 18 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

� 52.24

View 10 offers

Also find
New

Showing 8 of 12 titles