Synopsis
The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.