SULJE VALIKKO

avaa valikko

Quiang Gao | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods for Protocol Engineering and Distributed Systems - Forte XII / PSTV XIX’99
Jianping Wu; Samuel T. Chanson; Quiang Gao
Springer (1999)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX’99
Jianping Wu (ed.); Samuel T. Chanson (ed.); Quiang Gao (ed.)
Springer (2013)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Protocol Engineering and Distributed Systems - Forte XII / PSTV XIX’99
172,80 €
Springer
Sivumäärä: 500 sivua
Asu: Kovakantinen kirja
Painos: 1999
Julkaisuvuosi: 1999, 30.09.1999 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology 28
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:

FDT-based system and protocol engineering;
FDT application to distributed systems;
Protocol engineeering;
Practical experience and case studies.


Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods for Protocol Engineering and Distributed Systems - Forte XII / PSTV XIX’99zoom
Näytä kaikki tuotetiedot
ISBN:
9780792386469
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste