Satisfiability and Model Checking in Team Based Logics, Müller, Julian-Steffen, Cuvillier Verlag

KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Satisfiability and Model Checking in Team Based Logics

Müller, Julian-Steffen

58,50 €

Cuvillier Verlag
Sivumäärä: 143 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2014, 01.08.2014 (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

Satisfiability and Model Checking in Team Based Logics

Näytä kaikki tuotetiedot

ISBN:

9783954047598

Asiasanat:

Erfüllbarkeit Komplexitätstheorie Logik Modellprüfung

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