Model checking timed safety instrumented systems
Jussi Lahtinen
Kirjasarja: TKK Reports in Information and Computer Science, osa 3
Tuote ei saatavilla
Model checking timed safety instrumented systems
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Model checking timed safety instrumented systems" 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.
Samankaltaiset tuotteet
Haetaan...
Tiedot
Kustantaja/julkaisija
Helsinki University of Technology, Laboratory of Chemical Engineering
Sidosasu
ISBN
9512294443
9789512294442
Tuoteryhmät
Ei tiedossa
Kieli
englanti
Alkuperäinen nimi
-
Kirjasarja
TKK Reports in Information and Computer Science, osa 3