Jayadev Misra profile picture

Jayadev Misra

Stand Alone

Parallel Program Design: A Foundation
FM 2006
FM 2006: Formal Methods
A Discipline of Multiprogramming
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
Effective Theories in Programming Practice
Theories of Programming The Life and Works of Tony Hoare
Jayadev Misra — Books & Biography | Menrva Books | MenrvaBooks