VIAF

Virtual International Authority File

Search

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

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

Daniel Jackson informaticien américain Wikidata

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 Section 4xx's: Alternate Name Forms (1)

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 NUKAT Center of Warsaw University Library National and University Library in Zagreb Library of Congress/NACO xR Extended Titles-test 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 History of VIAF ID:163107579 (14)