Philip-Sebastian Kurtin

1 titel in de boekenbase · Auteur · 2018

Exacte wetenschappen/natuurwetenschappen algemeen

Over Philip-Sebastian Kurtin

Philip-Sebastian Kurtin staat met 1 titel in de boekenbase als auteur. Bekend van de serie ‘DSI PhD Series’. Het werk valt vooral onder exacte wetenschappen/natuurwetenschappen algemeen. Verschenen in 2018 bij Universiteit Twente Bibliotheek.

An abstraction-refinement theory for the analysis and design of concurrent real-time systems

Philip-Sebastian Kurtin

An abstraction-refinement theory for the analysis and design of concurrent real-time systems

Philip-Sebastian Kurtin

Paperback · 2018