-
EbookSofort lieferbarThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods...
-
EbookSofort lieferbar
In this book, a programming model is developed that addresses the fundamental issues of "e;la...
-
EbookSofort lieferbar
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...
-
EbookSofort lieferbar
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
-
EbookSofort lieferbar
Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...
-
EbookSofort lieferbar
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
-
BuchBesorgungstitel - wird vorgemerkt
In this book, a programming model is developed that addresses the fundamental issues of 'large-sc...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
This book presents the refereed proceedings of the 14th International Symposium on Formal Meth...
- 1