Reihe Smart Innovation, Systems and TechnologiesNatalia Serdyukova × Algebraic Formalization of Smart SystemsTheory and PracticeNatalia SerdyukovaSpringer International PublishingSoftcover2019 Algebraic Formalization of Smart SystemsTheory and PracticeNatalia SerdyukovaSpringer International PublishingHardcover2018 Algebraic Formalization of Smart SystemsTheory and PracticeNatalia SerdyukovaSpringer International PublishingeBook2018