VIAF

Virtual International Authority File

Search

Cover for 0262101149

Jackson, Daniel.NUKAT Center (Poland)Wikipedia (en)-testNational Diet Library (Japan)

Jackson, Daniel, 1963-Library of Congress/NACO

VIAF ID: 163107579 (Personal)

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

Open SectionClose Section Preferred Forms

  • Library of Congress/NACO
    Internal VIAF record
    100 1 _ ‎‡a  Jackson, Daniel,‏ ‎‡d  1963-‏
  • Wikipedia (en)-test
    Internal VIAF record
    100 1 _ ‎‡a  Jackson, Daniel‏
  • NUKAT Center (Poland)
    Internal VIAF record
    100 1 _ ‎‡a  Jackson, Daniel.‏
  • National Diet Library (Japan)
    Internal VIAF record
    100 1 _ ‎‡a  Jackson, Daniel‏

 

 

Open SectionClose Section Selected Titles

  1. Software abstractions : logic, language and analysis ‎(5) NUKAT Center (Poland)Wikipedia (en)-testLibrary of Congress/NACO
  2. Software for dependable systems : sufficient evidence? ‎(2) Wikipedia (en)-testLibrary of Congress/NACO
  3. Software abstractions, 2012: ‎(2) Library of Congress/NACONational Diet Library (Japan)
  4. 抽象によるソフトウェア設計 : Alloyではじめる形式手法 ‎(1) National Diet Library (Japan)
  5. Chūshō ni yoru sofutōea sekkei : Alloy de hajimeru keishiki shuhō ‎(1) National Diet Library (Japan)

Open SectionClose Section Selected Co-authors

Open SectionClose Section Countries of Publication (2)

Open SectionClose Section Publication Statistics

Open SectionClose Section Selected Publishers (4)

Open SectionClose Section About

Open SectionClose Section History of VIAF ID:163107579 (6)