Formal Methods for Open Object-Based Distributed SystemsMartin Steffen, Gianluigi ZavattaroHäftad550 kr
Concurrency, Compositionality, and CorrectnessDennis Dams, Ulrich Hannemann, Martin SteffenHäftad550 kr
Gründerhandbuch für pastorale Startups und InnovationsprojekteFlorian Sobetzko, Matthias SellmannHäftad422 kr