Detailsuche

Grid  List

  1. Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    0 %
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    Holger Hermanns
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

    Unser bisheriger Preis:ORGPRICE: 57,83 €

    Jetzt 57,82 €Ebook
    Alle Preise inkl. MwSt
  2. The Theory of Timed I/O Automata, Second Edition
    0 %
    The Theory of Timed I/O Automata, Second Edition
    Dilsun Kaynar
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This monograph presents the Timed Input Output Automaton (TIOA) modeling framework, a basic mathe...

    Unser bisheriger Preis:ORGPRICE: 35,44 €

    Jetzt 35,30 €Ebook
    Alle Preise inkl. MwSt
  3. Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    0 %
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    Roberto Segala
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. The Theory of Timed I/O Automata, Second Edition
    The Theory of Timed I/O Automata, Second Edition
    Dilsun Kaynar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This monograph presents the Timed Input Output Automaton (TIOA) modeling framework, a basic mathe...

    35,30 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1