VIAF

Virtual International Authority File

Search

Jackson, Daniel. NUKAT Center of Warsaw University Library National and University Library in Zagreb Sudoc [ABES], France National Diet Library, Japan

Jackson, Daniel, 1963- RERO - Library Network of Western Switzerland Library of Congress/NACO ISNI-test

Jackson, Daniel (computer scientist) Wikipedia (en)

VIAF ID: 163107579 (Personal)

Permalink: http://viaf.org/viaf/163107579

ISNI-test: 0000  0001  2232  8611 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Chūshō ni yoru sofutōea sekkei : Alloy de hajimeru keishiki shuhō National Diet Library, Japan
Software abstractions : logic, language and analysis National and University Library in Zagreb Library of Congress/NACO NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland Sudoc [ABES], France National Diet Library, Japan
Software for dependable systems : sufficient evidence? Library of Congress/NACO
抽象によるソフトウェア設計 : Alloyではじめる形式手法 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section About

Open Section Close Section History of VIAF ID:163107579 (12)