| search results |

displaying 3 results for author search for 'Peter Csaba Ã–lveczky'

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

Peter Csaba Ã–lveczky
Paperback / softback, 550 pages
ISBN-13: 9783030304454
2 Sep 2019
Readership Age:
computers / programming / software development Price: R 1 633.95
| on special |
normal price: R 1 719.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

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

Peter Csaba Ã–lveczky
Paperback / softback, 313 pages
ISBN-13: 9781447166863
22 Feb 2018
Readership Age: Price: R 2 177.95
| on special |
normal price: R 2 292.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

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

Peter Csaba Ã–lveczky
Paperback / softback, 264 pages
ISBN-13: 9783642163098
6 Oct 2010
Readership Age:
computers / programming / general Price: R 2 083.95
| on special |
normal price: R 2 192.95