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...
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 will always remain useful for...
Set theory, logic, discrete mathematics, and fundamental algorithms will always remain useful for...