开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >如何在VDM++中建模接受pdf文件作为输入

问如何在VDM++中建模接受pdf文件作为输入
EN

Stack Overflow用户

提问于 2020-12-07 03:38:12

回答 1查看 35关注 0票数 0

假设我想要建模一个程序，它将接受pdf类型的文件。

我应该如何建模接受pdf文件作为VDM++中的输入？

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2020-12-07 11:48:11

原则上，您可以对某些东西处理PDF文件的方式进行建模。但是，如何用VDM表示PDF的结构就成了问题之一。然后，您将指定程序将对该数据执行哪些功能或操作。您真的在问如何在VDM中表示PDF文件结构吗？

票数 0

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/65175815

复制

相似问题