VIAF

Virtual International Authority File

Search

Jackson, Daniel. NUKAT Center of Warsaw University Library National and University Library in Zagreb National Diet Library, Japan ISNI-test

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

Jackson, Daniel (computer scientist) Wikipedia (en)-test

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 Selected Titles

  1. Software abstractions : logic, language, and analysis ‎(5) NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland Library of Congress/NACO
  2. Software abstractions, 2012: ‎(2) Library of Congress/NACO National Diet Library, Japan
  3. 抽象によるソフトウェア設計 : Alloyではじめる形式手法 ‎(1) National Diet Library, Japan
  4. Software for dependable systems : sufficient evidence? ‎(1) Library of Congress/NACO
  5. Chūshō ni yoru sofutōea sekkei : Alloy de hajimeru keishiki shuhō ‎(1) 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 (9)