^^PAGEHEADLINE ^^

1. 

   Double Challenge - Sprung ins Ungewisse

   Sebastian Stüber

   Epubli 05.08.2025 - 2025

   Nar: - PDesc:

   Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

   Die 18-jährige Fiona Lenning steht kurz vor dem Abitur, ist der aufstrebende Nachwuchsstar der de...

   16,67 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb
2. 

   Towards an Isabelle Theory for distributed, interactive systems

   Sebastian Stüber

   Shaker Verlag GmbH 24.03.2020 - 2020

   Nar: - PDesc:

   Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

   This report describes a specification and verification framework for distributed interactive syst...

   35,13 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb
3. 

   Formal Software Engineering of Distributed Systems using Focus-Streams and Automata

   Sebastian Stüber

   Shaker Verlag GmbH 20.02.2026 - 2026

   Nar: - PDesc:

   Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

   The increasing complexity of software systems, particularly in distributed environments, necessit...

   39,06 €

   2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €

   In den Warenkorb