*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Runtime Verification
    Runtime Verification
    Borzoo Bonakdarpour
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 5th International Conference on Runtime Ver...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Introduction to Operating System Design and Implementation
    Introduction to Operating System Design and Implementation
    Scott Smolka
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book is an introduction to the design and implementation of operating systems using OSP 2, t...

    55,40 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Nir Piterman
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 19th International Conference on Tools and Algorithm...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. CONCUR ’95 Concurrency Theory
    CONCUR ’95 Concurrency Theory
    Scott Smolka
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Computation
    Interactive Computation
    Scott A. Smolka
    Springer
    Taschenbuch
    BOD - 2 Tage

    The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...

    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Interactive Computation
    Interactive Computation
    Scott A. Smolka
    Springer
    Buch
    BOD - 7 Tage

    The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...

    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1