PROTAN88
a software tool for verifying communication protocols specified with an extended state transition model
Martti Tienari
Kirjasarja: Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja, osa 1988, 5
Tuote ei saatavilla
PROTAN88 : a software tool for verifying communication protocols specified with an extended state transition model
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "PROTAN88" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.
Siirry tuotehakuun
Samankaltaiset tuotteet
Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.
Tiedot
Kustantaja/julkaisija
University of Helsinki
Sidosasu
ISBN
9514545885
9789514545887
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Martti Tienari
Kirjasarja
Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja, osa 1988, 5