Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
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 …
Temporal Logics in Computer Science
E-bok,
2016,
Engelska,
ISBN 9781316727164
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 …
Temporal Logics in Computer Science
E-bok,
2016,
Engelska,
ISBN 9781316728567
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 …