jayadev misra
Effective Theories in Programming Practice
EbookSofort lieferbarSet theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...
Theories of Programming
EbookSofort lieferbarSir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
FM 2006: Formal Methods
EbookSofort lieferbarThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods...
A Discipline of Multiprogramming
EbookSofort lieferbarIn this book, a programming model is developed that addresses the fundamental issues of 'large-sc...
A Discipline of Multiprogramming
TaschenbuchBezug 16-20In this book, a programming model is developed that addresses the fundamental issues of 'large-sc...
- 1