Books by Jayadev Misra
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
-20% with code BOOKS
In stock at our supplier
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
-20% with code BOOKS
In stock at our supplier
Effective Theories in Programming Practice
-20% with code BOOKS
In stock at our supplier
Effective Theories in Programming Practice
-20% with code BOOKS
In stock at our supplier
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
-20% with code BOOKS
In stock at our supplier