Jackson, Daniel, 1963-. | Software abstractions : logic, language and analysis
VIAF ID: 6097151965256200470005 ( Work )
Permalink: http://viaf.org/viaf/6097151965256200470005
Preferred Forms
4xx's: Alternate Name Forms (3)
Expressions
Author
:
Jackson, Daniel,
Language | Title | Expression | Sources |
---|---|---|---|
Japanese | Chūshō ni yoru sofutouea sekkei : Alloy de hajimeru keishiki shuhō = Software abstractions : logic, language, and analysis | 遠藤侑介 and 片岡欣夫 and 中島震 and 酒井政裕 and 今井健男 :2011 | |
Japanese | 抽象によるソフトウェア設計 : Alloyではじめる形式手法 | 片岡欣夫. :2011 |