> > > > hailpern

We hebben 1 boek gevonden van de auteur B. T. Hailpern


Hieronder vindt u een lijst met alle gevonden boeken van de auteur B. T. Hailpern.
Het enige gevonden boek is Verifying Concurrent Processes Using Temporal Logic.
Sorteer op:
Prijs nieuw / Prijs tweedehands / Aantal /
B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic

Bekijk boek

Nieuw (1)
€ 69,52