停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

冬季学校：抽象软件规范1979：丹麦哥本哈根

>主页 >会议和研讨会 >冬季学校

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/1979版
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/1979ass网站
Dines Björner餐厅:
抽象软件规范，1979年哥本哈根冬季学校，1979年1月22日至2月2日，论文集。计算机科学课堂讲稿86,施普林格 1980，国际标准图书编号3-540-10007-5

前奏曲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Zemanek79公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Zemanek79
海因茨·泽玛奈克:
抽象体系结构。 1-42

建设性定义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Stoy79型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Stoy79
约瑟夫·斯托伊:
指称语义学的基础。 43-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Jones公司79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Jones79
克利夫·琼斯:
程序设计语言概念模型。 100-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Bjorner79公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Bjorner79网址
Dines Björner餐厅:
数据库模型的形式化。 144-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Bjorner79a公司
- 问别人
- 股份记录
  持久URL：
  - 网址：https://dblp.org/rec/conf/ac/Bjorner79a
Dines Björner餐厅:
块结构GOTO模型实验：退出与继续。 216-247

代数语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Zilles公司79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Zilles79网址
斯蒂芬·齐勒斯:
数据代数导论。 248-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Dahl79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Dahl79
奥勒·约翰·达尔:
时间开关作为描述程序行为的工具。 273-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/BurstallG79接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/BurstallG79
罗德·M·伯斯托尔,约瑟夫·高根:
CLEAR的语义，一种规范语言。 292-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Domolki79公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Domolki79
巴林特·德莫尔基:
层次程序规范的一个示例。 333-353

程序规范

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Liskov公司79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Liskov79
芭芭拉·利斯科夫:
使用抽象的模块化程序构造。 354-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Lucas公司79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Lucas79网站
彼得·卢卡斯:
关于应用程序的结构。 390-438

一段插曲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/GerstmannO79公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/GerstmannO79
H.郭士曼,亚历山大·奥尔隆伦:
抽象对象作为抽象数据类型。 439-450

并行性和不确定性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/LauerSB79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/LauerSB79
彼得·劳尔,M.W.护罩,艾克·贝斯特:
高度并行和分布式系统的设计与分析。 451-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/公园79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Park79
大卫·迈克尔·里奇公园:
公平平行主义的语义。 504-526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/绘图79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Plotkin79网站
戈登·普洛金:
Dijkstras Predicate Transformers&Smyth的Power Domaine。 527-553

《序曲》

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Zemanek79a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Zemanek79a
海因茨·泽玛奈克:
宴会谈话。 554-563

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。