当前位置:
首页 资源下载
搜索资源 - an introduction to formal
搜索资源列表
-
0下载:
本备忘录的状态
本文档讲述了一种Internet社区的Internet标准跟踪协议,它需要进一步进行讨论和建议以得到改进。请参考最新版的“Internet正式协议标准”(STD1)来获得本协议的标准化程度和状态。本备忘录的发布不受任何限制。
摘要
本文档描述了对于IPv6的路径MTU探索。它很大程度上是从RFC1191(描述了对于IPv4的路径MTU探索)发展而来的。
目 录
摘 要 1
1 引言 2
2 术语 2
3 协议概述 3
4 协议需求 4
5
-
-
0下载:
An Introduction to Formal Languages and Automata 3Ed Peter Linz - SOLUTIONS-An Introduction to Formal Languages and Automata 3Ed Peter Linz- SOLUTIONS
-
-
0下载:
编译原理
第1章绪论
第2章数据类型
第3章控制结构
第4章程序语言的设计
第5章非过程式程序设计语言
第6章形式语义学简介
第7章编译概述
第8章词法分析
第9章自上而下的语法分析
第10章自下而上的语法分析
第11章语义分析和中间代码生成
第12章代码优化和目标代码生成
第13章运行时存储空间的组织
-Compiler theory
Chapter 1 Introduction
Chapter 2 data types
C
-