Filter
Sökt på: Sökresultat
Filter
1 träff
Temporal Logics in Computer Science
inbunden,
2016,
Engelska,
ISBN 9781107028364
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the …