Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN.

Property Value
dbo:abstract
  • Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
  • Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1951-11-12 (xsd:date)
dbo:birthPlace
dbo:citizenship
dbo:discipline
dbo:doctoralAdvisor
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 13596019 (xsd:integer)
dbo:wikiPageLength
  • 5569 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190923055 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1988 (xsd:integer)
  • 1991 (xsd:integer)
  • 1995 (xsd:integer)
  • 2004 (xsd:integer)
prop-fr:auteur
  • avec Björn Pehrson (fr)
  • avec Björn Pehrson (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:lireEnLigne
prop-fr:pagesTotales
  • xi + 291 (fr)
  • xii + 598 (fr)
  • xi + 291 (fr)
  • xii + 598 (fr)
prop-fr:titre
  • Beyond Photography — The Digital Darkroom (fr)
  • Design and Validation of Computer Protocols (fr)
  • The Early History of Data Networks (fr)
  • The SPIN Model Checker: Primer and Reference Manual (fr)
  • Beyond Photography — The Digital Darkroom (fr)
  • Design and Validation of Computer Protocols (fr)
  • The Early History of Data Networks (fr)
  • The SPIN Model Checker: Primer and Reference Manual (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdf:type
rdfs:comment
  • Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
  • Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN. (fr)
rdfs:label
  • Gerard J. Holzmann (fr)
  • Gerard Holzmann (de)
  • Gerard J. Holzmann (en)
  • جيرارد جيه هولزمان (arz)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:developer of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:auteur of
is oa:hasTarget of
is foaf:primaryTopic of