Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Farn Wang
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.10.2004

    It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theoretical Aspects of Computing - ICTAC 2016 Theoretical Aspects of Computing - ICTAC 2016

    Theoretical Aspects of Computing - ICTAC 2016

    Farn Wang
    Springer International Publishing, Springer International Publishing
    22.09.2016

    This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretica...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005

    Formal Techniques for Networked and Distributed Systems - FORTE 2005

    Farn Wang
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Gro...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,30 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1