Quellverzeichnis products/Sources/formale Sprachen/C/Android/bootable/bootable/recovery/tests/testdata/

battery_scale.png         bonus.file         boot.img         deflate_src.zip         deflate_tgt.zip         fake-eocd.zip         font.png         gzipped_source         gzipped_target         loop00000.png         otasigned_4096bits.zip         otasigned_v1.zip         otasigned_v2.zip         otasigned_v3.zip         otasigned_v4.zip         otasigned_v5.zip         random.zip         recovery-from-boot-with-bonus.p         recovery-from-boot.p         recovery_body         recovery_head         recovery_tail         testkey_4096bits.x509.pem         testkey_v1.pk8         testkey_v1.txt         testkey_v1.x509.pem         testkey_v2.pk8         testkey_v2.txt         testkey_v2.x509.pem         testkey_v3.pk8         testkey_v3.txt         testkey_v3.x509.pem         testkey_v4.pk8         testkey_v4.txt         testkey_v4.x509.pem         testkey_v5.pk8         testkey_v5.txt         testkey_v5.x509.pem         ziptest_fake-update.zip         ziptest_valid.zip

Wurzel Suchen PVS Prover Isabelle Prover NIST Cobol Testsuite Cephes Mathematical Library Vienna Development Method Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.