Togashi Atsushi Togashi | Akateeminen Kirjakauppa

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

FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION - FORTE X / PSTV XVII ’97

Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Chapman and Hall (1997)
Kovakantinen kirja

172,80 €

FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION - FORTE X / PSTV XVII ’97

Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja

172,80 €

FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION

Togashi Atsushi Togashi; Mizuno Tadanori Mizuno; Shiratori Norio Shiratori
Springer Nature B.V. (2013)
Pehmeäkantinen kirja

107,20 €

Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

172,80 €

Chapman and Hall
Sivumäärä: 550 sivua
Asu: Kovakantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 31.10.1997 (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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus