Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Security in Pervasive Computing
heftet,
2004,
Engelsk,
ISBN 9783540208877
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. …
Modular Compiler Verification
heftet,
1997,
Engelsk,
ISBN 9783540634065
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most …
Verification, Model Checking, and Abstract Interpretation
heftet,
2008,
Engelsk,
ISBN 9783540938996
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, …