teruo higashino

Grid   List

  1. Formal Techniques for Networked and Distributed Systems - FORTE 2008
    Formal Techniques for Networked and Distributed Systems - FORTE 2008
    Kenji Suzuki
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Testing of Software and Communicating Systems
    Testing of Software and Communicating Systems
    Kenji Suzuki
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 20th IFIP TC 6 WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal App...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Stabilization, Safety, and Security of Distributed Systems
    Stabilization, Safety, and Security of Distributed Systems
    Teruo Higashino
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Principles of Distributed Systems
    Principles of Distributed Systems
    Teruo Higashino
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Principles of Distributed Systems
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Kedar Namjoshi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together wit...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Protocol Test Systems
    Protocol Test Systems
    Tadanori Mizuno
    Springer New York
    Ebook
    Sofort lieferbar
    Zur Zeit liegt uns keine Inhaltsangabe vor.
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Formal Description Techniques and Protocol Specification, Testing and Verification
    Formal Description Techniques and Protocol Specification, Testing and Verification
    Atsushi Togashi
    Springer New York
    Ebook
    Sofort lieferbar
    FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems and Communication Protocols (suchas Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Principles of Distributed Systems
    Principles of Distributed Systems
    Teruo Higashino
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 17, 2004 at Grenoble, France. It continued a tradition of successful conferences with...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Description Techniques and Protocol Specification, Testing and Verification
    Formal Description Techniques and Protocol Specification, Testing and Verification
    Atsushi Togashi
    Springer US, Springer US
    Buch
    Bezug 11-15
    FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems and Communication Protocols (suchas Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Formal Techniques for Networked and Distributed Systems - FORTE 2008
    Formal Techniques for Networked and Distributed Systems - FORTE 2008
    Kenji Suzuki
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Kedar Namjoshi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Testing of Software and Communicating Systems
    Testing of Software and Communicating Systems
    Kenji Suzuki
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 20th IFIP TC 6 WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal App...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>