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)-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 / Daniel Jackson. - MIT Press, 2006 ‎(7) NUKAT Center of Warsaw University Library National and University Library in Zagreb RERO - Library Network of Western Switzerland Sudoc [ABES], France 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 (10)