STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Jayadev Misra | lit.salon
Jayadev Misra
No bio available.
Add one in Open Library.
Books by Jayadev Misra (50 max)
+ shelf
+ list
Theories of Programming The Life and Works and Sir Tony Hoare
2021
Cliff B. Jones, Jayadev Misra
+ shelf
+ list
Effective Theories in Programming Practice
2022
Jayadev Misra
+ shelf
+ list
Chanda Jha
1981
Jayadev Misra
+ shelf
+ list
A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science)
2001
Jayadev Misra
+ shelf
+ list
A Discipline of Multiprogramming Programming Theory for Distributed Applications
2001
Jayadev Misra
+ shelf
+ list
FM 2006 : Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
2006
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
+ shelf
+ list
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)
2006
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
