In this book, a programming model is developed that addresses the fundamental issues of 'large-sc...
In this book, a programming model is developed that addresses the fundamental issues of 'large-sc...
Unser bisheriger Preis:ORGPRICE: 58,50 €
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...
Unser bisheriger Preis:ORGPRICE: 112,34 €
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...