Zoekresultaten - Katoen, Joost-Pieter

Joost-Pieter Katoen

Joost-Pieter Katoen (Krimpen aan den IJssel, 6 oktober 1964) is een Nederlands theoretisch informaticus die voornamelijk in Duitsland werkt. Hij is hoogleraar computerwetenschappen en hoofd van de Software Modeling and Verification Group aan de Rheinisch-Westfälische Technische Hochschule (RWTH) in Aken. Daarnaast is hij parttime verbonden aan de Formal Methods & Tools Group van de Universiteit Twente. Door Wikipedia aangeleverd
  • Toon 1 - 1 resultaten van 1
Verfijn jouw resultaten
  1. 1
    Beeld op de omslag

    Foundations of Probabilistic Programming

    Gepubliceerd in 2020
    Andere auteurs: “…Katoen, Joost-Pieter…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: