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