^^PAGEHEADLINE ^^

1. 

   Reachability Problems

   Joel Ouaknine

   Springer Verlag GmbH 23.09.2014 - 2014

   Nar: - PDesc:

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

   InhaltsangabeComplexity Bounds for Ordinal-Based Termination.- On The Complexity of Bounded Time ...

   50,40 €

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

   In den Warenkorb
2. 

   Formal Modeling and Analysis of Timed Systems

   Joel Ouaknine

   Springer Verlag GmbH 07.09.2009 - 2009

   Nar: - PDesc:

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

   This book constitutes the refereed proceedings of the 7th International Conference on Formal Mode...

   52,49 €

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

   In den Warenkorb