SULJE VALIKKO

avaa valikko

Mizuno Tadanori Mizuno | Akateeminen Kirjakauppa

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



Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97
Tekijä: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Kustantaja: Chapman and Hall (1997)
Saatavuus: Noin 17-20 arkipäivää
EUR   172,80
Protocol Test Systems - 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tekijä: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Kustantaja: Chapman and Hall (1995)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97
Tekijä: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää
EUR   172,80
Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tekijä: Tadanori Mizuno (ed.); Teruo Higashino (ed.); Norio Shiratori (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Formal Description Techniques and Protocol Specification, Testing and Verification
Tekijä: Togashi Atsushi Togashi; Mizuno Tadanori Mizuno; Shiratori Norio Shiratori
Kustantaja: Springer Nature B.V. (2013)
Saatavuus: Ei tiedossa
EUR   105,80
    
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97
172,80 €
Chapman and Hall
Sivumäärä: 550 sivua
Asu: Kovakantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 31.10.1997 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97zoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste