^^PAGEHEADLINE ^^

1. 

   Theoretical and Practical Aspects of SPIN Model Checking

   Dennis Dams

   Springer Verlag GmbH 08.09.1999 - 1999

   Nar: - PDesc:

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

   Increasing the designers con dence that a piece of software or hardwareis c- pliant with its spec...

   52,49 €

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

   In den Warenkorb
2. 

   -0 %

   FM 2009: Formal Methods

   Ana Cavalcanti

   Springer Verlag GmbH 26.10.2009 - 2009

   Nar: - PDesc:

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

   th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...

   Unser bisheriger Preis:ORGPRICE: 146,99 €

   Jetzt 104,99 €

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

   In den Warenkorb
3. 

   -0 %

   Concurrency, Compositionality and Correctness

   Dennis Dams

   Springer Verlag GmbH 24.02.2010 - 2010

   Nar: - PDesc:

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

   Why would you read this preface? As we start thinking what to write here, we wonder who is going ...

   Unser bisheriger Preis:ORGPRICE: 117,75 €

   Jetzt 52,49 €

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

   In den Warenkorb