Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000122328611 | 1 hits
Person
ISNI: 
0000 0001 2232 8611
Name: 
Jackson, Daniel
Jackson, Daniel ((computer scientist))
Dates: 
1963-
Creation class: 
Language material
Text
Creation role: 
author
editor
Related names: 
Imai, Takeo
Millett, Lynette I.
Nakajima, Shin (1955-)
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
Sakai, Masahiro
Thomas, Martyn (1948-)
中島, 震 (1955-)
今井, 健男
遠藤, 侑介
酒井, 政裕
Titles: 
Chūshō ni yoru sofutōea sekkei : Alloy de hajimeru keishiki shuhō
Software abstractions, 2012:
Software abstractions : logic, language, and analysis
Software for dependable systems : sufficient evidence?
抽象によるソフトウェア設計 : Alloyではじめる形式手法
Notes: 
Sources: 
VIAF LC NDL NSK NUKAT RERO WKP