^^PAGEHEADLINE ^^

1. 

   -0 %

   Verification of Sequential and Concurrent Programs

   Krzysztof R Apt

   SPRINGER 18.09.2009 - 2009

   Nar: - PDesc:

   Sofort lieferbar - Sofort lieferbar

   This widely anticipated third edition provides a systematic exploration of one of the most common...

   Unser bisheriger Preis:ORGPRICE: 98,08 €

   Jetzt 72,75 €

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

   In den Warenkorb
2. 

   Formal Methods for Components and Objects

   Frank S de Boer

   Springer Verlag GmbH 18.12.2007 - 2007

   Nar: - PDesc:

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

   Formal methods have been applied successfully to the verification of medium-sized programs in pro...

   52,49 €

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

   In den Warenkorb
3. 

   Formal Methods for Components and Objects

   Frank S de Boer

   Springer Verlag GmbH 10.08.2006 - 2006

   Nar: - PDesc:

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

   Formal methods have been applied successfully to the verification of medium-sized programs in pro...

   52,49 €

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

   In den Warenkorb
4. 

   -0 %

   Verification of Sequential and Concurrent Programs

   Krzysztof R Apt

   Springer Verlag GmbH 05.10.2009 - 2009

   Nar: - PDesc:

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

   Unser bisheriger Preis:ORGPRICE: 104,99 €

   Jetzt 80,24 €

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

   In den Warenkorb
5. 

   Formal Methods for Components and Objects

   Frank S de Boer

   Springer Verlag GmbH 27.10.2004 - 2004

   Nar: - PDesc:

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

   InhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...

   52,49 €

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

   In den Warenkorb
6. 

   -0 %

   Verification of Sequential and Concurrent Programs

   Krzysztof R Apt

   Springer Verlag GmbH 14.03.2012 - 2012

   Nar: - PDesc:

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

   HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

   Unser bisheriger Preis:ORGPRICE: 83,99 €

   Jetzt 64,19 €

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

   In den Warenkorb
7. 

   FM 2015: Formal Methods

   Nikolaj Bjørner

   Springer Verlag GmbH 02.06.2015 - 2015

   Nar: - PDesc:

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

   This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

   52,49 €

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

   In den Warenkorb
8. 

   Formal Methods for Components and Objects

   Bernhard Beckert

   Springer Verlag GmbH 03.01.2013 - 2013

   Nar: - PDesc:

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

   InhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...

   52,49 €

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

   In den Warenkorb
9. 

   Formal Methods for Components and Objects

   Frank S de Boer

   Springer Verlag GmbH 09.10.2003 - 2003

   Nar: - PDesc:

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

   Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

   52,49 €

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

   In den Warenkorb
10. 

    Theoretical Computer Science

    Jos C M Baeten

    Springer Verlag GmbH 18.08.2012 - 2012

    Nar: - PDesc:

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

    This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...

    52,49 €

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

    In den Warenkorb
11. 

    Formal Methods for Components and Objects

    Elena Giachino

    Springer Verlag GmbH 26.08.2013 - 2013

    Nar: - PDesc:

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

    This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...

    48,30 €

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

    In den Warenkorb
12. 

    -0 %

    It’s All About Coordination

    Frank de Boer

    Springer Verlag GmbH 07.04.2018 - 2018

    Nar: - PDesc:

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

    This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

    Unser bisheriger Preis:ORGPRICE: 52,50 €

    Jetzt 52,49 €

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

    In den Warenkorb