> > > > dines-bjrner

We hebben 5 boeken gevonden van de auteur Dines Bjørner


Hieronder vindt u een lijst met alle gevonden boeken van de auteur Dines Bjørner.
De meest gevonden boeken zijn Monographs In Theoretical Computer Science. An Eatcs Series- Domain Science And Engineering, Formal Methods In Programming And Their Applications, Logics Of Specification Languages, Vdm '87. Vdm - A Formal Method At Work en Vdm '90. Vdm And Z - Formal Methods In Software Development.