Jayadev Misraの本 - BookPine

Effective Theories in Programming Practice

Effective Theories in Programming Practice

Jayadev Misra

Theories of Programming: The Life and Works

Theories of Programming: The Life and Works

Cliff B. Jones

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Jayadev Misra

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Jayadev Misra

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

K. Mani Chandy

DISCIPLINE OF MULTIPROGRAMMING: PROGRAMMING THEORY FOR DISTRIBUTED APPLICATIONS

DISCIPLINE OF MULTIPROGRAMMING: PROGRAMMING THEORY FOR DISTRIBUTED APPLICATIONS

Jayadev Misra

A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science)

A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science)

Jayadev Misra