Awang Noor Indra Wardana | Akateeminen Kirjakauppa

DEVELOPMENT OF AUTOMATIC PROGRAM VERIFICATION FOR CONTINUOUS FUNCTION CHART BASED ON MODEL CHECKING

Awang Noor Indra Wardana
Universität Kassel (2009)
Pehmeäkantinen kirja

60,10 €

Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

Awang Noor Indra Wardana

60,10 €

Universität Kassel
Sivumäärä: 121 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2009, 08.12.2009 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9783899588064

Asiasanat:

Automation System Programming Language Timed Automata

Aihealue:

Ulkomaiset kirjat

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste