KIRJAUDU
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97
182,70 €
Springer
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).
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9781475752601
Aihealue: