Jayadev Misra is the Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. His research interests are in formal methods related to concurrency, which has brought him in contact with Sir Tony Hoare for over four decades. He joined Tony in the Verified Software Initiative (VSI) project since its inception, and continues to participate in it fully.
6 Електронні книги від Jayadev Misra
Jayadev Misra: Discipline of Multiprogramming
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming, " unifying several concepts from database theory, object-oriented programmi …
PDF
Англійська
DRM
€57.57
Cliff B. Jones & Jayadev Misra: Theories of Programming
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have be …
PDF
Англійська
DRM
€31.99
Cliff B. Jones & Jayadev Misra: Theories of Programming
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have be …
EPUB
Англійська
DRM
€31.99
Jayadev Misra: Effective Theories in Programming Practice
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be underst …
PDF
Англійська
DRM
€31.99
Jayadev Misra: Effective Theories in Programming Practice
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be underst …
EPUB
Англійська
DRM
€30.99
