Time & logic: a computational approach
Éditeur :
Taylor & Francis Ltd
ISBN :
9780367336530
Date de publication :
4 mars 2020
Dimensions :
23,4 x 15,6 cm
Poids :
720 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.