Erweiterte Suche

Grid  List

  1. Formal Methods for Open Object-based Distributed Systems Formal Methods for Open Object-based Distributed Systems

    Formal Methods for Open Object-based Distributed Systems

    Jean-Bernard Stefani
    Springer US, Springer US
    30.11.1996

    Object-based Distributed Computing is being established as themost pertinent basis for the suppor...

    Gebunden
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Description Techniques and Protocol Specification, Testing and Verification Formal Description Techniques and Protocol Specification, Testing and Verification

    Formal Description Techniques and Protocol Specification, Testing and Verification

    Stan Budkowski
    Springer US
    05.03.2013

    Formal Description Techniques and Protocol Specification,Testing and Verification addresses forma...

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Elie Najm
    Springer Berlin Heidelberg
    10.11.2003

    This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conferenc...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. SDL 2007: Design for Dependable Systems SDL 2007: Design for Dependable Systems

    SDL 2007: Design for Dependable Systems

    Emmanuel Gaudin
    Springer Berlin Heidelberg
    06.09.2007

    th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled 'Design for Depend...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Description Techniques and Protocol Specification, Testing and Verification Formal Description Techniques and Protocol Specification, Testing and Verification

    Formal Description Techniques and Protocol Specification, Testing and Verification

    Stan Budkowski
    Springer International Publishing
    31.10.1998

    Formal Description Techniques and Protocol Specification,Testing and Verification addresses forma...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 226,50 €

    Jetzt 213,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Techniques for Networked and Distributed Systems - FORTE 2006 Formal Techniques for Networked and Distributed Systems - FORTE 2006

    Formal Techniques for Networked and Distributed Systems - FORTE 2006

    Elie Najm
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference o...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 117,69 €

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