^^PAGEHEADLINE ^^

1. 

   -0 %

   Type Systems for Distributed Programs: Components and Sessions

   Ornela Dardha

   ATLANTIS PRESS 27.07.2016 - 2016

   Nar: - 6.91 MB PDesc:

   Sofort lieferbar - Sofort lieferbar

   In this book we develop powerful techniques based on formal methods for the verification of ...

   Unser bisheriger Preis:ORGPRICE: 109,86 €

   Jetzt 94,49 €

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

   In den Warenkorb
2. 

   -0 %

   Type Systems for Distributed Programs: Components and Sessions

   Ornela Dardha

   Springer Verlag GmbH 09.08.2016 - 2016

   Nar: - PDesc:

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

   In this book we develop powerful techniques based on formal methods for the verification of corre...

   Unser bisheriger Preis:ORGPRICE: 99,74 €

   Jetzt 76,23 €

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

   In den Warenkorb
3. 

   Coordination Models and Languages

   Ferruccio Damiani

   Springer Verlag GmbH 06.06.2021 - 2021

   Nar: - PDesc:

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

   This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...

   52,49 €

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

   In den Warenkorb