3 Електронні книги від Werner Stephan
Dieter Hutter & Werner Stephan: Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H. Siekm …
PDF
Англійська
DRM
€114.95
Dieter Hutter & Werner Stephan: Applied Formal Methods – FM-Trends 98
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the …
PDF
Англійська
DRM
€57.78
