KIRJAUDU
Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97
172,80 €
Springer-Verlag New York Inc.
Sivumäärä: 550 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2013, 11.01.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology
Sivumäärä: 550 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2013, 11.01.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology
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.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9781475752601
Aihealue:
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |