Frank Sipke de Boer Reasoning about dynamically evolving process structures
a proof theory for the parallel object-oriented language POOL
Gedrukt boek
Meer informatie
Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.