Models, Mindsets, Meta: The What, the How, and the Why Not?, 1st ed. 2019 Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Theoretical Computer Science and General Issues Series
Coordonnateurs : Margaria Tiziana, Graf Susanne, Larsen Kim G.
Honorary volume dedicated to Bernhard Steffen on occasion to his 60 birthday
Written by well-known experts
Features the broad range of Bernhard Steffen research topics
Date de parution : 06-2019
Ouvrage de 431 p.
15.5x23.5 cm
Thèmes de Models, Mindsets, Meta: The What, the How, and the Why Not? :
Mots-clés :
artificial intelligence; computer architecture; formal logic; formal methods; logic programming; model checking; problem solving; processors; program compilers; programming languages; semantics; set theory; software engineering; software evaluation; specifications; static analysis; temporal logic; theorem proving; verification; algorithm analysis and problem complexity