Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Map Framework
E-bok,
2016,
Engelska,
ISBN 9783319467665
This book explores the concept of a map as a fundamental data type. It defines maps at three levels. The first is an abstract level, in which mathematic concepts are leveraged to …
Formal Methods for Software Engineering
E-bok,
2022,
Engelska,
ISBN 9783030388003
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some …
Advances in Spatial and Temporal Databases
E-bok,
2015,
Engelska,
ISBN 9783319223636
This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015.The 24 …