^^PAGEHEADLINE ^^
-
Variations on Constants
Springer Verlag GmbH 02.10.2006 - 2006Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenProgram analysis is concerned with techniques that automatically determine run-time properties of...
-
Static Analysis
Springer Verlag GmbH 20.08.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed proceedings of the 21st International Symposium on ...
-
Modular Compiler Verification
Springer Verlag GmbH 06.08.1997 - 1997Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeComplete Boolean lattices.- Galois connections.- States, valuation functions and pre...
-
Verification, Model Checking, and Abstract Interpretation
Springer Verlag GmbH 18.12.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume contains the proceedings of the 10th International Conference on Veri?cation, Model C...
-
Dependable Software Engineering. Theories, Tools, and Applications
Springer Verlag GmbH 26.08.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the Third International Symposium on Dependable Software...
- 1