^^PAGEHEADLINE ^^

1. 

   Tests and Proofs

   Catherine Dubois

   Springer Verlag GmbH 03.06.2018 - 2018

   Nar: - PDesc:

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

   This book constitutes the refereed proceedings of the 12th International Conference on Tests and ...

   52,49 €

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

   In den Warenkorb
2. 

   Tests and Proofs

   Catherine Dubois

   Springer Verlag GmbH 24.06.2009 - 2009

   Nar: - PDesc:

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

   1 This volume contains the research papers and invited papers presented at the Third Internationa...

   52,49 €

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

   In den Warenkorb
3. 

   Formal Methods Teaching

   Catherine Dubois

   Springer Verlag GmbH 21.02.2023 - 2023

   Nar: - PDesc:

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

   This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teachin...

   57,74 €

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

   In den Warenkorb
4. 

   Intelligent Computer Mathematics

   Catherine Dubois

   Springer Verlag GmbH 31.08.2023 - 2023

   Nar: - PDesc:

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

   This book constitutes the refereed proceedings of the 16th International Conference on Intelligen...

   78,74 €

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

   In den Warenkorb