Programming language Z -

被引：0

|

作者：

Univ of Brighton, Brighton, United Kingdom ^{[1
]}

机构：

来源：

Inf Software Technol | / 5-6卷 / 293-301期

关键词：

Number:; GR/J52020; Acronym:; SERC; Sponsor: Connecticut State Emergency Response Commission;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] THE PROGRAMMING LANGUAGE Z--
VALENTINE, SH
INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (5-6) : 293 - 301
[2] The use of a logic programming language in the animation of Z specifications
West, Margaret M.
Logic Programming, Proceedings, 2007, 4670 : 451 - 452
[3] TEACHING ASSEMBLY LANGUAGE PROGRAMMING WITH ZIP, A Z80 ASSEMBLY LANGUAGE INTERPRETER PROGRAM
MUDGE, TN
BUZZARD, GD
IEEE TRANSACTIONS ON EDUCATION, 1983, 26 (03) : 91 - 98
[4] Programming language standards scene, ten years on paper 17: Z notation
Nicholls, John
Computer Standards and Interfaces, 1994, 16 (5-6): : 537 - 539
[5] THE PROGRAMMING LANGUAGE STANDARDS SCENE, 10 YEARS ON .17. Z NOTATION
NICHOLLS, J
COMPUTER STANDARDS & INTERFACES, 1994, 16 (5-6) : 537 - 539
[6] Z8000 ASSEMBLY LANGUAGE PROGRAMMING - LEVENTHAL,LA, OSBORNE,A, COLLINS,C
不详
EDUCATION, 1982, 102 (03): : 288 - 288
[7] PROGRAMMING LANGUAGE
STEWART, D
LIBRARY SOFTWARE REVIEW, 1991, 10 (01): : 85 - 87
[8] PROGRAMMING LANGUAGE
OTTAVIANI, J
LIBRARY SOFTWARE REVIEW, 1992, 11 (04): : 34 - 38
[9] A PROGRAMMING LANGUAGE
IVERSON, KE
COMMUNICATIONS OF THE ACM, 1962, 5 (03) : 142 - 142
[10] PROGRAMMING LANGUAGE
GROTOPHORST, CW
LIBRARY SOFTWARE REVIEW, 1991, 10 (03): : 209 - 213

← 1 2 3 4 5 →