Time & logic: a computational approach
Éditeur :
Taylor & Francis Ltd
ISBN :
9780367336578
Date de publication :
30 sept. 2021
Dimensions :
23,4 x 15,6 cm
Poids :
840 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.