Effective Theories in Programming Practice by Jayadev Misra Paperback Book
61,06 €
Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI). In collaboration with David Gries, Jayadev proposed the first algorithm for the heavy-hitters problem.
Jetzt bei Ebay:
![Produktbild - Effective Theories in Programming Practice by Misra, Jayadev [Paperback]](https://i.ebayimg.com/thumbs/images/g/lEAAAOSwSPBndfOu/s-l140.jpg)
![Produktbild - Effective Theories in Programming Practice by Misra, Jayadev [Hardback]](https://i.ebayimg.com/thumbs/images/g/EecAAOSwpa5nABvW/s-l140.jpg)
![Produktbild - Get Programming with Haskell by Kurt, Will [Paperback]](https://i.ebayimg.com/thumbs/images/g/~voAAOSwu7RnWe7l/s-l140.jpg)
