文件名称：威克斯利
文件大小：2KB
文件格式：ZIP
更新时间：2024-03-05 18:48:59
你好！ :telescope: 我目前正在与大学工作一起使用iOS辅导应用程序GetSkooledLtd。 该应用程序目前处于Beta测试中，因此，如果您有兴趣成为该应用程序的一部分，或者只想查看该应用程序，请与我联系！ :seedling: 在大学里，我目前正在学习： 自动推理； 一阶逻辑，高阶逻辑，统一，重写，自然演绎，定理表示并通过Isabelle / HOL进行证明，形式化数学 软件测试； 单元测试，功能测试，组合测试，有限模型，结构测试，数据流模型和测试，测试选择和充分性，变异测试，测试驱动的开发，回归测试，安全测试，集成和基于组件的测试，系统和验收测试，并发测试 计算机安全； 加密，防火墙，网络协议和体系结构漏洞，安全通信，操作系统安全，Web安全 机器人系统设计； 负责构建解决商业问题的集成硬件和软件系统 *要查看我过去和现在大学课程的描述以及任何链接的课程资料库（如果可能），请参阅我的资料库 语言和工具：
【文件预览】：
hwixley-main
----README.md(3KB)