Inicio > > Redes y comunicaciones informáticas > 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

Atsushi Togashi / Norio Shiratori / Tadanori Mizuno

46,52 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2013
Materia
Redes y comunicaciones informáticas
ISBN:
9781475752595
46,52 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Artículos relacionados

  • Statistical Inference for Engineers and Data Scientists
    Pierre Moulin / Venugopal V. Veeravalli
    ...
  • Crystal Clear
    SREEKUMAR V T / V T SREEKUMAR
    'Crystal Clear: Advanced AM/FM/SW Radio Reception Techniques' is a comprehensive guide that takes radio enthusiasts on a journey through the fascinating world of radio reception. Whether you’re a beginner looking to improve your reception skills or an experienced hobbyist seeking to enhance your listening experience, this book has something for everyone.The book begins by explo...
  • Optical Code Division Multiple Access
    Ken-ichi Kitayama
    ...
  • Nonparametric System Identification
    Miroslaw Pawlak / Wlodzimierz Greblicki
    ...
    Disponible

    88,10 €

  • Game Theory in Wireless and Communication Networks
    Dusit Niyato / Walid Saad / Zhu Han
    ...
  • Mastering Radio Reception
    SREEKUMAR V T / V T SREEKUMAR
    Mastering Radio Reception: The Ultimate Guide to MW, SW, FM, and LWAre you fascinated by the magic of radio waves and eager to explore the vast world of radio listening? Whether you are a curious beginner or an experienced radio enthusiast, 'Mastering Radio Reception: The Ultimate Guide to MW, SW, FM, and LW' is your essential companion on this journey.This comprehensive guide ...

Otros libros del autor

  • Formal Description Techniques and Protocol Specification, Testing and Verification
    Atsushi Togashi / Norio Shiratori / Tadanori Mizuno
    FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an...
    Disponible

    267,85 €

  • Formal Description Techniques and Protocol Specification, Testing and Verification
    Atsushi Togashi / Norio Shiratori / Tadanori Mizuno
    FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an...