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